Package: IPostCheckCreator

IPostCheckCreator

Coverage

1: package org.overture.codegen.trans;
2:
3: import org.overture.codegen.ir.declarations.AMethodDeclIR;
4: import org.overture.codegen.ir.expressions.AApplyExpIR;
5: import org.overture.codegen.ir.expressions.AIdentifierVarExpIR;
6: import org.overture.codegen.ir.expressions.AStringLiteralExpIR;
7:
8: public interface IPostCheckCreator
9: {
10:         public AApplyExpIR consPostCheckCall(AMethodDeclIR method,
11:                         AApplyExpIR postCondCall, AIdentifierVarExpIR resultVar,
12:                         AStringLiteralExpIR methodName);
13: }