Package: IPOContext

IPOContext

Coverage

1: package org.overture.pog.pub;
2:
3: import org.overture.ast.expressions.PExp;
4: import org.overture.ast.types.PType;
5:
6: public interface IPOContext
7: {
8:         String getContext();
9:
10:         PExp getContextNode(PExp stitch);
11:
12:         String getName();
13:
14:         boolean isScopeBoundary();
15:
16:         void noteType(PExp exp, PType type);
17:
18:         PType checkType(PExp exp);
19:
20:         boolean isStateful();
21:
22:         public void lastStmt();
23:
24: }