Uses of Class
charger.obj.GraphObjectID

Packages that use GraphObjectID

Package	Description
cgif.generate	Classes for the main translation work for CGIF.
charger	The top level package for the editor.
charger.obj	Classes for the graph objects themselves.
charger.util	Utility classes for CharGer, dealing with fonts, strings and other general-purpose things.

Uses of GraphObjectID in cgif.generate

Fields in cgif.generate with type parameters of type GraphObjectID

Modifier and Type	Field and Description
private HashMap<GraphObjectID,String>	CGIFWriter.nameTable Table mapping GraphObject objectID's to defining/bound label names

Uses of GraphObjectID in charger

Methods in charger that return GraphObjectID

Modifier and Type	Method and Description
static GraphObjectID	Global.applyForID() Gives a unique ID to be used in identifying graph objects

Methods in charger with parameters of type GraphObjectID

Modifier and Type	Method and Description
static void	Global.deactivateID(GraphObjectID id) Informs the global store that an ID is no longer in use.
static GNode	IOManager.hookUp(GEdge ge, GraphObjectID oldID, Graph gr, boolean keepIDs) uses the old-to-new mapping to attach an edge to its new ends

Uses of GraphObjectID in charger.obj

Fields in charger.obj declared as GraphObjectID

Modifier and Type	Field and Description
GraphObjectID	GraphObject.objectID global and unique number.
static GraphObjectID	GraphObjectID.zero Represents an ident that is not attached to any object; e.g., if a graph has no owner ident.

Methods in charger.obj with parameters of type GraphObjectID

Modifier and Type	Method and Description
boolean	GraphObjectID.equals(GraphObjectID other) Two objects are equal if their string representations are equal.
GraphObject	Graph.findByID(GraphObjectID ID) Find an object by its ID at any level in the target graph.

Uses of GraphObjectID in charger.util

Fields in charger.util declared as GraphObjectID

Modifier and Type	Field and Description
private GraphObjectID	ObjectLocator._ID unique ID for identification

Methods in charger.util that return GraphObjectID

Modifier and Type	Method and Description
GraphObjectID	ObjectLocator.getID() Gets the file portion of the locator.

Methods in charger.util with parameters of type GraphObjectID

Modifier and Type	Method and Description
static Object	ObjectLocator.getObject(File f, GraphObjectID id, Class c, boolean makeAvailable) Find the object, wherever it is, opening its window if necessary.
private void	ObjectLocator.initialize(File f, Class c, GraphObjectID id)
void	ObjectLocator.setID(GraphObjectID id)

Constructors in charger.util with parameters of type GraphObjectID

Constructor and Description
ObjectLocator(File f, Class c, GraphObjectID id) Creates a new object locator with the given constituents.
ObjectLocator(File f, GraphObjectID id) Creates a locator with the given file and ident, and class java.lang.Object
ObjectLocator(String filename, GraphObjectID id) Creates a locator with the given file and ident, and class java.lang.Object