Class NodeNameCollector
java.lang.Object
tools.refinery.language.resource.state.NodeNameCollector
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected void
collectAssertionNodeNames
(Assertion assertion) void
collectNodeNames
(Problem problem) protected void
collectStatementNodeNames
(Statement statement)
-
Constructor Details
-
NodeNameCollector
public NodeNameCollector()
-
-
Method Details
-
getNodeNames
-
collectNodeNames
-
collectStatementNodeNames
-
collectAssertionNodeNames
-