public class Input extends Parameter
factory, type
Constructor and Description |
---|
Input()
Creates a default input parameter.
|
Input(java.lang.String name,
java.lang.String type)
Creates an input 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