Flatten Huppaal to Uppaal -- Mon Apr 9 16:26:42 MET DST 2001: Uses of Class DocumentReader

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Class
DocumentReader

Subclasses of DocumentReader in

class DocumentWriter
          Constructor Class

class FlatDocumentWriter
          This class is used to abstract away from dtd changes when creating the flat document (in FlatDocumentWriter.uppaalDTD grammar).

class HierarchicalDocumentReader
          Wrapper Class