Exportable, Serializablepublic 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, verifierTagexp, 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, readResolveclone, finalize, getClass, notify, notifyAll, toString, wait, wait, waitcalcEpsilonReducibility, calcHashCode, isDefined, visit, visit, visit, visitpublic 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 ReferenceExppublic Object visit(RELAXExpressionVisitor visitor)
visit in class Expressionpublic Expression visit(RELAXExpressionVisitorExpression visitor)
visit in class Expressionpublic boolean visit(RELAXExpressionVisitorBoolean visitor)
visit in class Expressionpublic void visit(RELAXExpressionVisitorVoid visitor)
visit in class Expressionpublic boolean isExported()
isExported in interface ExportableCopyright © 2019 Oracle Corporation. All rights reserved.