public class Postcondition
extends java.lang.Object
Constructor and Description |
---|
Postcondition(AnnotatedTypeGraph postGraph,
java.util.Set<de.uni_due.inf.ti.graph.Node> rightHandNodes,
java.util.Set<de.uni_due.inf.ti.graph.Edge> rightHandEdges)
Constructor of the postcondition
|
Modifier and Type | Method and Description |
---|---|
java.util.HashMap<java.lang.Integer,java.lang.Integer> |
getAnnotationIndexes()
Get the legal morphism's annotation index mapping
|
de.uni_due.inf.ti.graph.Morphism |
getLegalMorphism()
Get the legal morphism from the postcondition to the annotated type graph
|
AnnotatedTypeGraph |
getPostGraph()
Get the annotated type graph of this postcondition
|
java.util.Set<de.uni_due.inf.ti.graph.Edge> |
getRightHandEdges()
Get the right-hand side edges of this postcondition
|
java.util.Set<de.uni_due.inf.ti.graph.Node> |
getRightHandNodes()
Get the right-hand side nodes of this postcondition
|
void |
setAnnotationIndexes(java.util.HashMap<java.lang.Integer,java.lang.Integer> legalAnnotationIndexes)
Set the legal morphism's annotation index mapping
|
void |
setLegalMorphism(de.uni_due.inf.ti.graph.Morphism legalMorphism)
Set the legal morphism from the postcondition to the annotated type graph
|
public Postcondition(AnnotatedTypeGraph postGraph, java.util.Set<de.uni_due.inf.ti.graph.Node> rightHandNodes, java.util.Set<de.uni_due.inf.ti.graph.Edge> rightHandEdges)
postGraph
- The annotated type graph representing the postconditionrightHandNodes
- The image nodes of the right-hand side embeddingrightHandEdges
- The image edges of the right-hand side embeddingpublic AnnotatedTypeGraph getPostGraph()
public java.util.Set<de.uni_due.inf.ti.graph.Node> getRightHandNodes()
public java.util.Set<de.uni_due.inf.ti.graph.Edge> getRightHandEdges()
public de.uni_due.inf.ti.graph.Morphism getLegalMorphism()
public void setLegalMorphism(de.uni_due.inf.ti.graph.Morphism legalMorphism)
legalMorphism
- the legal morphism to be setpublic java.util.HashMap<java.lang.Integer,java.lang.Integer> getAnnotationIndexes()
public void setAnnotationIndexes(java.util.HashMap<java.lang.Integer,java.lang.Integer> legalAnnotationIndexes)
legalAnnotationIndexes
- the legal morphism's annotation index mapping