ConForM.CoopnTools.CoKer
Class SyntacticModuleReader

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.SyntacticModuleReader
Direct Known Subclasses:
CoalaSyntacticModuleReader, CoopnSyntacticModuleReader, SyntacticConsModuleReader, SyntacticPackageModuleReader, SyntacticScenarioModuleReader, SyntacticSpecModuleReader

public abstract class SyntacticModuleReader
extends java.lang.Object

Syntactic module Reader. This class defines an abstract reader of syntactic modules. A syntactic module reader reads a module, decomposing it into sections, fields and symbols according to the CO-OPN syntactic scheme.

See Also:
CoopnSyntacticModule

Field Summary
protected  CoopnEnv env
           
protected  PackageMgr pmgr
           
 
Constructor Summary
SyntacticModuleReader(PackageMgr pmgr, CoopnEnv env)
          Simple constructor.
 
Method Summary
abstract  CoopnSyntacticModule getSyntacticModule(java.lang.String name)
          Read a module.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

pmgr

protected PackageMgr pmgr

env

protected CoopnEnv env
Constructor Detail

SyntacticModuleReader

public SyntacticModuleReader(PackageMgr pmgr,
                             CoopnEnv env)
Simple constructor.
Parameters:
pmgr - the package manager
env - the environment
Method Detail

getSyntacticModule

public abstract CoopnSyntacticModule getSyntacticModule(java.lang.String name)
Read a module.
Parameters:
name - the name of the module to read
Returns:
the syntactic module, or null if not found or erroneous