IncompleteSemantics

Fields
Modifier and Type	Field and Description
`private java.util.HashSet<IncompleteEdge>`	`incompleteEdges`
`private Node`	`owner`

Constructors
Constructor and Description
`IncompleteSemantics(Node owner)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addToEdges(IncompleteEdge e)`
`void`	`adjustSemanticsForLoopPredicateAddition()`
`void`	`adjustSemanticsForLoopPredicateRemoval()`
`void`	`adjustSemanticsForOwnerAddition()` Changes incomplete semantics when the owner node is added to a CFG.
`void`	`adjustSemanticsForOwnerRemoval()` Changes incomplete semantics when the owner node is removed from a CFG.
`void`	`adjustSemanticsForSwitchPredicateAddition()`
`void`	`adjustSemanticsForSwitchPredicateRemoval()`
`java.util.HashSet<IncompleteEdge>`	`getIncompleteEdges()`
`Node`	`getOwner()`
`void`	`setOwner(Node owner)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

private java.util.HashSet<IncompleteEdge> incompleteEdges

public IncompleteSemantics(Node owner)

public void addToEdges(IncompleteEdge e)

public java.util.HashSet<IncompleteEdge> getIncompleteEdges()

public void adjustSemanticsForLoopPredicateRemoval()

public void adjustSemanticsForLoopPredicateAddition()

public void adjustSemanticsForSwitchPredicateRemoval()

public void adjustSemanticsForSwitchPredicateAddition()

adjustSemanticsForOwnerAddition
```
public void adjustSemanticsForOwnerAddition()
```
Changes incomplete semantics when the owner node is added to a CFG.

Class IncompleteSemantics