|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |