public class Output extends Parameter
factory, type
Constructor and Description |
---|
Output()
Creates a default output parameter.
|
Output(java.lang.String name,
java.lang.String type)
Creates an output parameter with the given name and type.
|
assign, evaluate, getBound, getContent, isAssignable, isBound, rebind, rebind, resolve, setBound, setContent, snapshot, toString, unbind
equals, getName, getType, hashCode, isBottom, isOrdered, setType
safeEquals, safeHashCode, semanticError