Public Member Functions | |
tContext (const string &i_stName, const spiStore &i_spStore) | |
tContext (const spiStore &i_spStore) | |
list< string > | getErrors () const |
void | addError (const string &i_stError) |
sptExpression | getExpr () |
void | clear () |
void | s_ontology () |
void | s_header () |
void | lit_name (const pANTLR3_COMMON_TOKEN v) |
void | lit_version (const pANTLR3_COMMON_TOKEN v) |
void | s_attribute (const pANTLR3_COMMON_TOKEN n, const pANTLR3_COMMON_TOKEN v) |
void | s_include (const pANTLR3_COMMON_TOKEN v) |
void | ns_begin (const pANTLR3_COMMON_TOKEN v) |
void | ns_end () |
void | s_definition (const pANTLR3_COMMON_TOKEN n) |
void | s_expr () |
void | op_or () |
void | op_and () |
void | op_top () |
void | op_bottom () |
void | op_cond (const pANTLR3_COMMON_TOKEN v) |
void | op_atom (const pANTLR3_COMMON_TOKEN v) |
void | op_univ (const pANTLR3_COMMON_TOKEN r) |
void | op_exist (const pANTLR3_COMMON_TOKEN r) |
void | op_maxcard (const pANTLR3_COMMON_TOKEN n, const pANTLR3_COMMON_TOKEN r) |
void | op_mincard (const pANTLR3_COMMON_TOKEN n, const pANTLR3_COMMON_TOKEN r) |
void | op_constraint (const pANTLR3_COMMON_TOKEN a, const pANTLR3_COMMON_TOKEN o) |
void | op_not () |
void | lit_value_variable (const pANTLR3_COMMON_TOKEN v) |
void | lit_value_uint (const pANTLR3_COMMON_TOKEN v) |
void | lit_value_int (const pANTLR3_COMMON_TOKEN v) |
void | lit_value_float (const pANTLR3_COMMON_TOKEN v) |
void | lit_value_string (const pANTLR3_COMMON_TOKEN v) |
void | lit_list_begin () |
void | lit_list_end () |
void | lit_list_iten (const pANTLR3_COMMON_TOKEN v) |
void | op_in (const pANTLR3_COMMON_TOKEN a) |
void | s_concept () |
void | s_def (const pANTLR3_COMMON_TOKEN v) |
void | lit_constant (const pANTLR3_COMMON_TOKEN v) |
Static Public Member Functions | |
static void | errorHdlr (pANTLR3_BASE_RECOGNIZER recognizer, pANTLR3_UINT8 *tokenNames) |
static sptContext | Create (const string &i_stName, const spiStore &i_spStore) |
static sptContext | Create (const spiStore &i_spStore) |
Protected Member Functions | |
operator_t | getNameId (const tName &i_oName, const operator_t i_nType) |