Exportable
, Serializable
public class HedgeRules extends ReferenceExp implements Exportable
Modifier and Type | Field | Description |
---|---|---|
boolean |
exported |
a flag that indicates this hedgeRule is exported and
therefore accessible from other modules.
|
RELAXModule |
ownerModule |
RELAXModule object to which this object belongs
|
anyString, epsilon, nullSet, verifierTag
exp, name
Modifier | Constructor | Description |
---|---|---|
protected |
HedgeRules(String label,
RELAXModule ownerModule) |
Modifier and Type | Method | Description |
---|---|---|
void |
addHedge(Expression exp,
ExpressionPool pool) |
|
boolean |
equals(Object o) |
|
boolean |
isExported() |
|
Object |
visit(RELAXExpressionVisitor visitor) |
|
boolean |
visit(RELAXExpressionVisitorBoolean visitor) |
|
Expression |
visit(RELAXExpressionVisitorExpression visitor) |
|
void |
visit(RELAXExpressionVisitorVoid visitor) |
getExpandedExp, hashCode, hashCode, hashCode, isEpsilonReducible, peelOccurence, readResolve
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
calcEpsilonReducibility, calcHashCode, isDefined, visit, visit, visit, visit
public boolean exported
public final RELAXModule ownerModule
protected HedgeRules(String label, RELAXModule ownerModule)
public void addHedge(Expression exp, ExpressionPool pool)
public boolean equals(Object o)
equals
in class ReferenceExp
public Object visit(RELAXExpressionVisitor visitor)
visit
in class Expression
public Expression visit(RELAXExpressionVisitorExpression visitor)
visit
in class Expression
public boolean visit(RELAXExpressionVisitorBoolean visitor)
visit
in class Expression
public void visit(RELAXExpressionVisitorVoid visitor)
visit
in class Expression
public boolean isExported()
isExported
in interface Exportable
Copyright © 2019 Oracle Corporation. All rights reserved.