Package: INAnnotation

INAnnotation

Coverage

1: /*******************************************************************************
2: *
3: *        Copyright (c) 2019 Nick Battle.
4: *
5: *        Author: Nick Battle
6: *
7: *        This file is part of Overture
8: *
9: ******************************************************************************/
10:
11: package org.overture.interpreter.annotations;
12:
13: import org.overture.ast.analysis.AnalysisException;
14: import org.overture.ast.expressions.PExp;
15: import org.overture.ast.statements.PStm;
16: import org.overture.interpreter.runtime.Context;
17: import org.overture.interpreter.values.Value;
18:
19: public interface INAnnotation
20: {
21:         public void inBefore(PStm node, Context ctxt) throws AnalysisException;
22:         public void inBefore(PExp node, Context ctxt) throws AnalysisException;
23:
24:         public void inAfter(PStm node, Value value, Context ctxt) throws AnalysisException;
25:         public void inAfter(PExp node, Value value, Context ctxt) throws AnalysisException;
26: }