xrel
Class XRel

java.lang.Object
  |
  +--xrel.XRel
All Implemented Interfaces:
SpecialNames

public class XRel
extends java.lang.Object
implements SpecialNames

The main class of the program.

Author:
Fabrizio Bisi

Field Summary
protected static java.lang.String DEFAULT_PARSER_NAME
           
static java.lang.String VERSION_NUMBER
           
 
Fields inherited from interface xrel.parser.SpecialNames
AnyTagName, AnyTypeName, AutomatonPrefix, EmptyPatternName, ExportTypeName, ExpressionPrefix, PatternPrefix, SpecialPrefix, StringName, StringPatternName, StringTypeName, StrLiteralPrefix, StrLiteralSuffix, StrUnquotedPrefix, StrUnquotedSuffix
 
Constructor Summary
XRel()
           
 
Method Summary
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

VERSION_NUMBER

public static final java.lang.String VERSION_NUMBER

DEFAULT_PARSER_NAME

protected static final java.lang.String DEFAULT_PARSER_NAME
Constructor Detail

XRel

public XRel()
Method Detail

main

public static void main(java.lang.String[] args)