public static final class OriginTermLabel.NodeOrigin extends OriginTermLabel.Origin
Modifier and Type | Field and Description |
---|---|
int |
nodeNr
The
Node.serialNr() of the node the term originates from. |
java.lang.String |
ruleName
The name of the rule applied at the node the term originates from.
|
specType
Constructor and Description |
---|
NodeOrigin(OriginTermLabel.SpecType specType,
java.lang.String ruleName,
int nodeNr)
Creates a new
OriginTermLabel.Origin . |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
java.lang.String |
toString() |
compareTo
public final java.lang.String ruleName
public final int nodeNr
Node.serialNr()
of the node the term originates from.public NodeOrigin(OriginTermLabel.SpecType specType, java.lang.String ruleName, int nodeNr)
OriginTermLabel.Origin
.specType
- the spec type the term originates from.ruleName
- the name of the rule applied at the node the term originates from.nodeNr
- the Node.serialNr()
of the node the term originates from.public java.lang.String toString()
toString
in class OriginTermLabel.Origin
public boolean equals(java.lang.Object obj)
equals
in class OriginTermLabel.Origin
public int hashCode()
hashCode
in class OriginTermLabel.Origin
Copyright © 2003-2019 The KeY-Project.