edu.mit.csail.sdg.alloy4compiler.parser
Class CompModule.Open

java.lang.Object
  edu.mit.csail.sdg.alloy4compiler.parser.CompModule.Open

Enclosing class:

CompModule

public static final class CompModule.Open
extends java.lang.Object

Mutable; this class represents an untypechecked Alloy module import statement; equals() uses object identity.

Field Summary

java.lang.String	alias The alias for this open declaration; always a nonempty string.
ConstList<java.lang.String>	args The unmodifiable list of instantiating arguments.
java.lang.String	filename The relative filename for the file being imported, without the final ".als" part; always a nonempty string.
Pos	pos The position in the original model where this "open" statement was declared; never null.

Method Summary

CompModule

getRealModule() Returns the actual Module object that it points to; null if we have not resolved it.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

pos

public final Pos pos

The position in the original model where this "open" statement was declared; never null.

alias

public final java.lang.String alias

The alias for this open declaration; always a nonempty string.

args

public final ConstList<java.lang.String> args

The unmodifiable list of instantiating arguments.

filename

public final java.lang.String filename

The relative filename for the file being imported, without the final ".als" part; always a nonempty string.

Method Detail

getRealModule

public CompModule getRealModule()

Returns the actual Module object that it points to; null if we have not resolved it.