edu::tum::cs::logic::parser::FormulaParserConstants Interface Reference

Inheritance diagram for edu::tum::cs::logic::parser::FormulaParserConstants:

[legend]

List of all members.

Public Attributes
int	AND = 7
int	CLOSERB = 14
int	DEFAULT = 0
int	DIGIT = 18
int	EQUALS = 9
int	EXIST = 11
int	FORALL = 12
int	IDENTCHAR = 19
int	IFF = 10
int	IMPLIES = 8
int	LCCHAR = 16
int	LCIDENT = 22
int	LISTSEP = 15
int	NOT = 5
int	NUMBER = 20
int	OPENRB = 13
int	OR = 6
String[]	tokenImage
int	UCCHAR = 17
int	UCIDENT = 21
Package Attributes
int	EOF = 0

---

Detailed Description

Definition at line 4 of file FormulaParserConstants.java.

---

Member Data Documentation

int edu::tum::cs::logic::parser::FormulaParserConstants::AND = 7

Definition at line 9 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::CLOSERB = 14

Definition at line 16 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::DEFAULT = 0

Definition at line 26 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::DIGIT = 18

Definition at line 20 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::EOF = 0 [package]

Definition at line 6 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::EQUALS = 9

Definition at line 11 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::EXIST = 11

Definition at line 13 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::FORALL = 12

Definition at line 14 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::IDENTCHAR = 19

Definition at line 21 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::IFF = 10

Definition at line 12 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::IMPLIES = 8

Definition at line 10 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::LCCHAR = 16

Definition at line 18 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::LCIDENT = 22

Definition at line 24 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::LISTSEP = 15

Definition at line 17 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::NOT = 5

Definition at line 7 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::NUMBER = 20

Definition at line 22 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::OPENRB = 13

Definition at line 15 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::OR = 6

Definition at line 8 of file FormulaParserConstants.java.

String [] edu::tum::cs::logic::parser::FormulaParserConstants::tokenImage

Initial value:

 {
    "<EOF>",
    "\" \"",
    "\"\\r\"",
    "\"\\t\"",
    "\"\\n\"",
    "\"!\"",
    "\"v\"",
    "\"^\"",
    "\"=>\"",
    "\"=\"",
    "\"<=>\"",
    "<EXIST>",
    "\"FORALL\"",
    "\"(\"",
    "\")\"",
    "\",\"",
    "<LCCHAR>",
    "<UCCHAR>",
    "<DIGIT>",
    "<IDENTCHAR>",
    "<NUMBER>",
    "<UCIDENT>",
    "<LCIDENT>",
  }

Definition at line 28 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::UCCHAR = 17

Definition at line 19 of file FormulaParserConstants.java.

int edu::tum::cs::logic::parser::FormulaParserConstants::UCIDENT = 21

Definition at line 23 of file FormulaParserConstants.java.

---

The documentation for this interface was generated from the following file:

• FormulaParserConstants.java