|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use CompModule.Open | |
|---|---|
| edu.mit.csail.sdg.alloy4compiler.parser | This package contains the compiler |
| Uses of CompModule.Open in edu.mit.csail.sdg.alloy4compiler.parser |
|---|
| Methods in edu.mit.csail.sdg.alloy4compiler.parser that return types with arguments of type CompModule.Open | |
|---|---|
ConstList<CompModule.Open> |
CompModule.getOpens()
Returns an unmodifiable copy of the current list of OPEN statements. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||