ConForM.CoopnTools.CoKer.SpecMgr
Class SyntacticSpecModuleReader

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.SyntacticModuleReader
        |
        +--ConForM.CoopnTools.CoKer.SpecMgr.SyntacticSpecModuleReader

public class SyntacticSpecModuleReader
extends SyntacticModuleReader

Syntactic reader for spec source files

See Also:
SyntacticModuleReader

Fields inherited from class ConForM.CoopnTools.CoKer.SyntacticModuleReader
env, pmgr
 
Constructor Summary
SyntacticSpecModuleReader(PackageMgr pmgr, CoopnEnv env)
          Simple constructor.
 
Method Summary
 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
 

Constructor Detail

SyntacticSpecModuleReader

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

getSyntacticModule

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