|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
ObjectCodecTools
public class CodecTools
Methods that are useful in the implementation of codecs.
| Constructor Summary | |
|---|---|
CodecTools()
|
|
| Method Summary | |
|---|---|
static String |
atomify(String label)
Computes a string that is a valid Oz or Prolog atom from the argument. |
static void |
graphLabelsConsistencyAssertion(DomGraph graph,
NodeLabels labels)
Asserts that all labelled nodes in the dominance graph actually have labels. |
static String |
varify(String label)
Computes a string that is a valid Prolog variable from the argument. |
| Methods inherited from class Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public CodecTools()
| Method Detail |
|---|
public static String atomify(String label)
label - a string
public static String varify(String label)
Note that the returned string will still not be a valid Prolog variable name if it contains symbols that are not valid in Prolog variable names.
label - a straing
public static void graphLabelsConsistencyAssertion(DomGraph graph,
NodeLabels labels)
graph - a dominance graphlabels - a matching labels object
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||