Uses of Class
edu.mit.csail.sdg.alloy4compiler.parser.CompModule

Packages that use CompModule
edu.mit.csail.sdg.alloy4compiler.parser This package contains the compiler 
 

Uses of CompModule in edu.mit.csail.sdg.alloy4compiler.parser
 

Fields in edu.mit.csail.sdg.alloy4compiler.parser declared as CompModule
 CompModule CompLexer.alloy_module
           
 CompModule CompParser.alloymodule
           
 

Methods in edu.mit.csail.sdg.alloy4compiler.parser that return CompModule
 CompModule CompModule.Open.getRealModule()
          Returns the actual Module object that it points to; null if we have not resolved it.
 CompModule CompModule.getRootModule()
          Returns a pointer to the root module in this world.
static CompModule CompUtil.parseEverything_fromFile(A4Reporter rep, java.util.Map<java.lang.String,java.lang.String> loaded, java.lang.String filename)
          Read everything from "file" and parse it; if it mentions submodules, open them and parse them too.
static CompModule CompUtil.parseEverything_fromFile(A4Reporter rep, java.util.Map<java.lang.String,java.lang.String> loaded, java.lang.String filename, int initialResolutionMode)
          Read everything from "file" and parse it; if it mentions submodules, open them and parse them too.
static CompModule CompUtil.parseOneModule(java.lang.String content)
           
 

Methods in edu.mit.csail.sdg.alloy4compiler.parser that return types with arguments of type CompModule
 SafeList<CompModule> CompModule.getAllReachableModules()
          Return the list containing THIS MODULE and all modules reachable from this module.