format_geometrie
Class GeometricContext
java.lang.Object
format_geometrie.GeometricContext
- All Implemented Interfaces:
- java.io.Serializable
public class GeometricContext
- extends java.lang.Object
- implements java.io.Serializable
- See Also:
- Serialized Form
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GeometricContext
public GeometricContext()
addEntity
public static void addEntity(Entity e)
addElement
public static void addElement(Element e)
addAttributesList
public static void addAttributesList(AttrList a)
getEntityByName
public static Entity getEntityByName(java.lang.String name)
getElementByName
public static Element getElementByName(java.lang.String name)
getAttributeListByName
public static AttrList getAttributeListByName(java.lang.String name)
getAllElementName
public static java.util.Vector<java.lang.String> getAllElementName()
isElement
public static boolean isElement(java.lang.String name)
finaliseKleeneStructure
public static void finaliseKleeneStructure(KleeneStructure ks)
finalizeGeometricContext
public static void finalizeGeometricContext()
loadGeometricDTD
public static void loadGeometricDTD()