ConForM.CoopnTools.CoKer.ConstraintsMgr
Class SyntacticConsModuleReader

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.SyntacticModuleReader
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.SyntacticConsModuleReader

public class SyntacticConsModuleReader
extends SyntacticModuleReader

Syntactic reader for cons source files

See Also:
SyntacticModuleReader

Fields inherited from class ConForM.CoopnTools.CoKer.SyntacticModuleReader
env, pmgr
 
Constructor Summary
SyntacticConsModuleReader(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

SyntacticConsModuleReader

public SyntacticConsModuleReader(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