graphloaders.oldDotParser.tokens

Class DotIdeString

java.lang.Object

graphloaders.oldDotParser.tokens.DotIdentifier

graphloaders.oldDotParser.tokens.DotIdeString

public class DotIdeString
extends DotIdentifier

Constructor Summary

Constructors

Constructor and Description
DotIdeString(java.lang.String ident)

Method Summary

Methods inherited from class graphloaders.oldDotParser.tokens.DotIdentifier

getIdent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DotIdeString

public DotIdeString(java.lang.String ident)