lmf.formula.csp.node
Class ACspTypeSpecifier
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PTypeSpecifier
lmf.formula.csp.node.ACspTypeSpecifier
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspTypeSpecifier
- extends PTypeSpecifier
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspTypeSpecifier
public ACspTypeSpecifier()
ACspTypeSpecifier
public ACspTypeSpecifier(TColon _colon_,
PCompositeType _cspType_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getColon
public TColon getColon()
setColon
public void setColon(TColon node)
getCspType
public PCompositeType getCspType()
setCspType
public void setCspType(PCompositeType node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object