public class NodeRepository
extends java.lang.Object
| Constructor and Description |
|---|
NodeRepository() |
| Modifier and Type | Method and Description |
|---|---|
void |
clear() |
Node<TypeDef> |
createNode(TypeDef item,
java.util.Set<Node<TypeDef>> transitions) |
Node<TypeDef> |
get(TypeDef item) |
Node<TypeDef> |
getOrCreateNode(TypeDef item,
java.util.Set<Node<TypeDef>> transitions) |
Copyright © 2018. All Rights Reserved.