Uses of Class
org.graphstream.stream.file.gml.GMLParserTokenManager

Packages that use GMLParserTokenManager

Package	Description
org.graphstream.stream.file.gml

Uses of GMLParserTokenManager in org.graphstream.stream.file.gml

Fields in org.graphstream.stream.file.gml declared as GMLParserTokenManager

Modifier and Type	Field and Description
GMLParserTokenManager	GMLParser.token_source Generated Token Manager.

Methods in org.graphstream.stream.file.gml with parameters of type GMLParserTokenManager

Modifier and Type	Method and Description
void	GMLParser.ReInit(GMLParserTokenManager tm) Reinitialise.

Constructors in org.graphstream.stream.file.gml with parameters of type GMLParserTokenManager

Constructor and Description
GMLParser(GMLParserTokenManager tm) Constructor with generated Token Manager.