T | Language.ContextFree.Cfg |
TL | Language.VDM_SL.Syntax |
TOKEN | Language.VDM_SL.Syntax |
TOT_FUNC | Language.VDM_SL.Syntax |
TOT_FUNC0 | Language.VDM_SL.Syntax |
TRUE | Language.VDM_SL.Syntax |
TUPLE | Language.VDM_SL.Syntax |
TUPLE_PAT | Language.VDM_SL.Syntax |
TUPLE_SEL | Language.VDM_SL.Syntax |
TVar | Language.ContextFree.Examples.LittleLambda |
TYPES | Language.VDM_SL.Syntax |
TYPE_BIND_L | Language.VDM_SL.Syntax |
TYPE_BIND_S | Language.VDM_SL.Syntax |
TYPE_DEF | Language.VDM_SL.Syntax |
TYPE_FIELD_L | Language.VDM_SL.Syntax |
TYPE_FIELD_L_INV | Language.VDM_SL.Syntax |
TYPE_L | Language.VDM_SL.Syntax |
TYPE_S | Language.VDM_SL.Syntax |
TYPE_TYPE | Language.VDM_SL.Syntax |
TYPE_TYPE_INV | Language.VDM_SL.Syntax |
TYPE_VAR | Language.VDM_SL.Syntax |
TYPE_VAR_L | Language.VDM_SL.Syntax |
TYPE_VAR_S | Language.VDM_SL.Syntax |
Table |
1 (Type/Class) | Language.ContextFree.Tables |
2 (Type/Class) | PrettyPrint.Tables.Data_Lazy |
Table2 | PrettyPrint.Tables.Data_Lazy |
Table_description | Language.PLSql.Syntax |
Table_description_c1 | Language.PLSql.Syntax |
Table_description_c2 | Language.PLSql.Syntax |
Table_item | Language.PLSql.Syntax |
Table_item_c1 | Language.PLSql.Syntax |
Table_item_c2 | Language.PLSql.Syntax |
Table_items |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Table_items_opt_brackets | Language.PLSql.Syntax |
Table_items_opt_brackets_c1 | Language.PLSql.Syntax |
Table_items_opt_brackets_c2 | Language.PLSql.Syntax |
Table_modify_item |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Table_modify_items |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Table_type_declaration |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Tablespace |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Tablespace_clause |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Tablespace_item | Language.PLSql.Syntax |
Tablespace_item_c1 | Language.PLSql.Syntax |
Tablespace_item_c10 | Language.PLSql.Syntax |
Tablespace_item_c11 | Language.PLSql.Syntax |
Tablespace_item_c12 | Language.PLSql.Syntax |
Tablespace_item_c2 | Language.PLSql.Syntax |
Tablespace_item_c3 | Language.PLSql.Syntax |
Tablespace_item_c4 | Language.PLSql.Syntax |
Tablespace_item_c5 | Language.PLSql.Syntax |
Tablespace_item_c6 | Language.PLSql.Syntax |
Tablespace_item_c7 | Language.PLSql.Syntax |
Tablespace_item_c8 | Language.PLSql.Syntax |
Tablespace_item_c9 | Language.PLSql.Syntax |
Tablespace_items |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
TempHuub1 | Language.Java.Syntax |
TempHuub2 | Language.Java.Syntax |
TempHuub3 | Language.Java.Syntax |
TempHuub4 | Language.Java.Syntax |
TempHuub5 | Language.Java.Syntax |
Temphuub1_1 | Language.Java.Syntax |
Temphuub1_2 | Language.Java.Syntax |
Temphuub1_3 | Language.Java.Syntax |
Temphuub2_1 | Language.Java.Syntax |
Temphuub2_2 | Language.Java.Syntax |
Temphuub3_1 | Language.Java.Syntax |
Temphuub3_2 | Language.Java.Syntax |
Temphuub3_3 | Language.Java.Syntax |
Temphuub4_1 | Language.Java.Syntax |
Temphuub4_2 | Language.Java.Syntax |
Temphuub4_3 | Language.Java.Syntax |
Temphuub4_4 | Language.Java.Syntax |
Temphuub5_1 | Language.Java.Syntax |
Temphuub5_2 | Language.Java.Syntax |
TermLanguage | Data.TermLanguage, Data.TermLanguage.AutoTermLanguage |
Territory |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Text | Language.PLSql.Syntax |
TextDecl | PrettyPrint.XML.Dot |
Text_c1 | Language.PLSql.Syntax |
Text_c2 | Language.PLSql.Syntax |
Then | Language.HaLex.RegExp, Language.Halex |
Then_branch |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
This0 | Language.Java.Syntax |
This1 | Language.Java.Syntax |
This_comma_semicolon | Language.Java.Syntax |
Thread_integer |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
ThrowStatement |
1 (Type/Class) | Language.Java.Syntax |
2 (Data Constructor) | Language.Java.Syntax |
Throw_semicolon | Language.Java.Syntax |
Throws | Language.Java.Syntax |
Throws_comma | Language.Java.Syntax |
Tilde | Language.Java.Syntax |
To_location |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
TokenizedType | PrettyPrint.XML.Dot |
Top_expression | Language.PLSql.Syntax |
Top_expression_c1 | Language.PLSql.Syntax |
Top_expression_c2 | Language.PLSql.Syntax |
Top_sort | Language.PLSql.Syntax |
Top_sort_c1 | Language.PLSql.Syntax |
Top_sort_c2 | Language.PLSql.Syntax |
Top_sort_cobol_embedded_sql |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Top_sort_pl_sql |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Trailing_clause |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Trailing_declarations |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Transient | Language.Java.Syntax |
Trigger_item | Language.PLSql.Syntax |
Trigger_item_c1 | Language.PLSql.Syntax |
Trigger_item_c2 | Language.PLSql.Syntax |
Trigger_item_c3 | Language.PLSql.Syntax |
Trigger_items |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Truncate_clause | Language.PLSql.Syntax |
Truncate_clause_c1 | Language.PLSql.Syntax |
Truncate_clause_c2 | Language.PLSql.Syntax |
Truncate_statement |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Try | Language.Java.Syntax |
Try1 | Language.Java.Syntax |
TryStatement |
1 (Type/Class) | Language.Java.Syntax |
2 (Data Constructor) | Language.Java.Syntax |
Ttitle_date | Language.PLSql.Syntax |
Ttitle_date_c1 | Language.PLSql.Syntax |
Ttitle_date_c2 | Language.PLSql.Syntax |
Ttitle_item | Language.PLSql.Syntax |
Ttitle_item_c1 | Language.PLSql.Syntax |
Ttitle_item_c2 | Language.PLSql.Syntax |
Ttitle_item_c3 | Language.PLSql.Syntax |
Ttitle_item_c4 | Language.PLSql.Syntax |
Ttitle_item_c5 | Language.PLSql.Syntax |
Ttitle_item_c6 | Language.PLSql.Syntax |
Ttitle_items |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Type |
1 (Type/Class) | Language.ContextFree.Examples.LittleLambda |
2 (Type/Class) | Language.Gnumeric.TypeInference |
3 (Type/Class) | Language.Java.Syntax |
4 (Type/Class) | Language.VDM_SL.Syntax |
TypeDeclaration | Language.Java.Syntax |
TypeGraph | Data.Relation.TypeInference |
TypeImportOnDemandDeclaration |
1 (Type/Class) | Language.Java.Syntax |
2 (Data Constructor) | Language.Java.Syntax |
TypeName | Language.Java.Declarations |
Type_VariableDeclaratorId | Language.Java.Syntax |
Type_bind_list | Language.VDM_SL.Syntax |
Type_definition | Language.VDM_SL.Syntax |
Type_definition_list | Language.VDM_SL.Syntax |
Type_list | Language.VDM_SL.Syntax |
Type_name |
1 (Type/Class) | Language.PLSql.Syntax |
2 (Data Constructor) | Language.PLSql.Syntax |
Type_variable_identifier | Language.VDM_SL.Syntax |
Type_variable_list | Language.VDM_SL.Syntax |
Typeable | Data.TermLanguage.AutoTermLanguage |
table | Language.Gnumeric.Formula |
te | Language.HaLex.DfaMonad |
term |
1 (Function) | Language.Gnumeric.Formula |
2 (Function) | Language.Sdf.Metrics.Size |
terminals |
1 (Function) | Language.ContextFree.Cfg |
2 (Function) | Language.ContextFree.CfgM |
testDot | Data.Relation.TypeInferenceTest |
testGnumeric | Language.Gnumeric.Parser |
testOnUMinhoHaskellLibrariesWithContrib | Language.Haskell.ChaseImports |
testSuite | Debug.HUnitExtras |
testVariableGraph | Data.Relation.TypeInferenceTest |
thunk | Debug.Observe |
timp | Language.Sdf.Metrics.Structure |
tmapM' | Data.Unification |
tng | Language.Sdf.Metrics.Ambiguity |
tnpc | Language.Sdf.Metrics.Ambiguity |
tnupeg | Language.Sdf.Metrics.Ambiguity |
toColNr | Language.Gnumeric.Formula |
toDot | Data.Relation.TypeInferenceTest |
toDotString | Data.Relation.TypeInferenceTest |
toGraph | Language.HaLex.FaClasses, Language.Halex |
toGraphIO | Language.HaLex.FaClasses, Language.Halex |
toHaskell | Language.HaLex.Ndfa, Language.Halex |
toHaskell' | Language.HaLex.FaClasses, Language.Halex |
toLit | Language.Haskell.ChaseImports |
toRowNr | Language.Gnumeric.Formula |
tographviz | Language.HaLex.FaAsDiGraph, Language.Halex |
tographvizIO | Language.HaLex.FaAsDiGraph, Language.Halex |
token | Language.HaLex.Parser |
tokenizeBy | Data.Relation.Read |
top |
1 (Function) | Camila.Examples.StackAlg |
2 (Function) | Language.ContextFree.Stack |
topNodes | Data.Relation.SetOfPairs |
totalRel | Data.Relation.SetOfPairs |
transClose | Data.Relation.SetOfPairs |
transitionTableDfa | Language.HaLex.Dfa, Language.Halex |
transitionTableNdfa | Language.HaLex.Ndfa, Language.Halex |
transitionsFromTo | Language.HaLex.Dfa, Language.Halex |
treeImpurity | Data.Relation.SetOfPairs |
ttDfa2Dfa | Language.HaLex.Dfa, Language.Halex |
type2str | Language.Java.Util |
typeInference | Data.Relation.TypeInference |
typeInferenceLoop | Data.Relation.TypeInference |
typeOf | Data.Relation.TypeInferenceTest |
typeRepOf | Data.Relation.TypeInferenceTest |
types | Data.Relation.TypeInference |
typesOf | Data.Relation.TypeInferenceTest |