| |
|
| java.lang.Object xtc.tree.Visitor xtc.lang.p2.ConcurrencyAnalyzer
ConcurrencyAnalyzer | final public class ConcurrencyAnalyzer extends Visitor (Code) | | A visitor to perform concurrency analysis on Overlog programs.
author: Robert Soule version: $Revision: 1.7 $ |
Inner Class :public class MaterializationChecker extends Visitor | |
ConcurrencyAnalyzer | public ConcurrencyAnalyzer(Runtime runtime)(Code) | | Create a new Overlog analyzer.
Parameters: runtime - The runtime. |
analyze | public Node analyze(Node unit)(Code) | | Process the specified translation unit.
Parameters: unit - The translation unit. root of the AST |
visit | public void visit(GNode n)(Code) | | Visit all nodes in the AST.
|
visitMaterialization | public void visitMaterialization(GNode n)(Code) | | |
|
|
|