public class GivenValue extends EvalResult
FlatGivenSet
Constructor and Description |
---|
GivenValue(String value) |
Modifier and Type | Method and Description |
---|---|
net.sourceforge.czt.base.ast.Term |
create(Object[] args)
EvalResult provides a default implementation of
create that throws UnsupportedOperationException.
|
boolean |
equals(Object obj) |
Object[] |
getChildren()
EvalResult provides a default implementation of
getChildren that returns an empty array of children.
|
String |
getValue() |
int |
hashCode() |
String |
toString() |
annsSize, getAnn, getAnns, getFactory, hasAnn, hasAnn, removeAnn, removeAnn
public GivenValue(String value)
public String getValue()
public int hashCode()
hashCode
in class net.sourceforge.czt.z.impl.ExprImpl
public boolean equals(Object obj)
equals
in class net.sourceforge.czt.z.impl.ExprImpl
public String toString()
toString
in class net.sourceforge.czt.base.impl.TermImpl
public Object[] getChildren()
getChildren
in interface net.sourceforge.czt.base.ast.Term
getChildren
in class EvalResult
public net.sourceforge.czt.base.ast.Term create(Object[] args)
create
in interface net.sourceforge.czt.base.ast.Term
create
in class EvalResult
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.