xrel.parser
Interface SpecialNames

All Known Implementing Classes:
ASTTag, SymTable, XRelParser, Translate, WellFormedness, TAProduct, TASimple, TADifference, XRel

public interface SpecialNames

TODO insert comment here

Author:
Fabrizio Bisi

Field Summary
static java.lang.String AnyTagName
           
static java.lang.String AnyTypeName
           
static java.lang.String AutomatonPrefix
           
static java.lang.String EmptyPatternName
           
static java.lang.String ExportTypeName
           
static java.lang.String ExpressionPrefix
           
static java.lang.String PatternPrefix
           
static java.lang.String SpecialPrefix
           
static java.lang.String StringName
           
static java.lang.String StringPatternName
           
static java.lang.String StringTypeName
           
static java.lang.String StrLiteralPrefix
           
static java.lang.String StrLiteralSuffix
           
static java.lang.String StrUnquotedPrefix
           
static java.lang.String StrUnquotedSuffix
           
 

Field Detail

SpecialPrefix

public static final java.lang.String SpecialPrefix

AutomatonPrefix

public static final java.lang.String AutomatonPrefix

PatternPrefix

public static final java.lang.String PatternPrefix

ExpressionPrefix

public static final java.lang.String ExpressionPrefix

StrUnquotedPrefix

public static final java.lang.String StrUnquotedPrefix

StrLiteralPrefix

public static final java.lang.String StrLiteralPrefix

StrUnquotedSuffix

public static final java.lang.String StrUnquotedSuffix

StrLiteralSuffix

public static final java.lang.String StrLiteralSuffix

AnyTagName

public static final java.lang.String AnyTagName

AnyTypeName

public static final java.lang.String AnyTypeName

EmptyPatternName

public static final java.lang.String EmptyPatternName

ExportTypeName

public static final java.lang.String ExportTypeName

StringName

public static final java.lang.String StringName

StringTypeName

public static final java.lang.String StringTypeName

StringPatternName

public static final java.lang.String StringPatternName