| PARAM_L | Language.VDM_SL.Syntax |
| PARAM_S | Language.VDM_SL.Syntax |
| PARAM_TYPE_E | Language.VDM_SL.Syntax |
| PARAM_TYPE_L | Language.VDM_SL.Syntax |
| PART_FUNC | Language.VDM_SL.Syntax |
| PART_FUNC0 | Language.VDM_SL.Syntax |
| PATTERN | Language.VDM_SL.Syntax |
| PATTERN_L | Language.VDM_SL.Syntax |
| PATTERN_S | Language.VDM_SL.Syntax |
| PATTERN_TYPE | Language.VDM_SL.Syntax |
| PATT_BIND_EXPR_L | Language.VDM_SL.Syntax |
| PATT_BIND_EXPR_S | Language.VDM_SL.Syntax |
| PAT_BIND_BIND | Language.VDM_SL.Syntax |
| PAT_BIND_PAT | Language.VDM_SL.Syntax |
| PAT_NAME | Language.VDM_SL.Syntax |
| PAT_PAT | Language.VDM_SL.Syntax |
| PAT_TYPE_L | Language.VDM_SL.Syntax |
| PAT_TYPE_S | Language.VDM_SL.Syntax |
| PEDecl | PrettyPrint.XML.Dot |
| PEDef | PrettyPrint.XML.Dot |
| PEReference | PrettyPrint.XML.Dot |
| PGNode | Language.Java.PackageGraph |
| PITarget | PrettyPrint.XML.Dot |
| PLUS | Language.VDM_SL.Syntax |
| POWER | Language.VDM_SL.Syntax |
| PROD_TYPE | Language.VDM_SL.Syntax |
| PSUBSET | Language.VDM_SL.Syntax |
| PackageDeclaration | Language.Java.Syntax |
| PackageGraph | Language.Java.PackageGraph |
| Package_body | Language.PLSql.Syntax |
| Package_body_c1 | Language.PLSql.Syntax |
| Package_body_c2 | Language.PLSql.Syntax |
| Package_body_prefix |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Package_declaration | Language.PLSql.Syntax |
| Package_declaration_c1 | Language.PLSql.Syntax |
| Package_declaration_c2 | Language.PLSql.Syntax |
| Package_header |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Package_header_prefix |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Package_name |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Package_semicolon | Language.Java.Syntax |
| ParIgnore | PrettyPrint.XML.Dot |
| Parallel_clause | Language.PLSql.Syntax |
| Parallel_clause_c1 | Language.PLSql.Syntax |
| Parallel_clause_c2 | Language.PLSql.Syntax |
| Parallel_items | Language.PLSql.Syntax |
| Parallel_items_c1 | Language.PLSql.Syntax |
| Parallel_items_c2 | Language.PLSql.Syntax |
| Parallel_items_c3 | Language.PLSql.Syntax |
| Parameter | Language.PLSql.Syntax |
| ParameterType | Language.Java.Declarations |
| Parameter_c1 | Language.PLSql.Syntax |
| Parameter_c2 | Language.PLSql.Syntax |
| Parameter_declaration |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Parameter_declarations |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Parameter_declarations_brackets |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Parameter_type_list | Language.VDM_SL.Syntax |
| Parameters |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Parameters_brackets |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Parameters_list | Language.VDM_SL.Syntax |
| Parser | Language.HaLex.Parser |
| Partial | Camila.PartialFunc, Camila.Prelude |
| Password |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Pattern | Language.VDM_SL.Syntax |
| Pattern2 | Language.VDM_SL.Syntax |
| Pattern_bind | Language.VDM_SL.Syntax |
| Pattern_list | Language.VDM_SL.Syntax |
| Pattern_type_pair_list | Language.VDM_SL.Syntax |
| Patternbind_expr_list | Language.VDM_SL.Syntax |
| Perc_found |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Perc_isopen |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Perc_notfound |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Perc_rowcount |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Perc_rowtype |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Perc_type |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Perc_typed_name | Language.PLSql.Syntax |
| Perc_typed_name_c1 | Language.PLSql.Syntax |
| Perc_typed_name_c2 | Language.PLSql.Syntax |
| Perc_typed_name_c3 | Language.PLSql.Syntax |
| Perc_typed_name_c4 | Language.PLSql.Syntax |
| Perc_typed_name_c5 | Language.PLSql.Syntax |
| Perc_typed_name_c6 | Language.PLSql.Syntax |
| Perc_typed_name_c7 | Language.PLSql.Syntax |
| Permission | Language.PLSql.Syntax |
| Permission_c1 | Language.PLSql.Syntax |
| Permission_c2 | Language.PLSql.Syntax |
| Ph |
| 1 (Type/Class) | Language.Sdf.PrettyHUnit |
| 2 (Data Constructor) | Language.Sdf.PrettyHUnit |
| Pl_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Pl_statements | Language.PLSql.Syntax |
| Pl_statements_c1 | Language.PLSql.Syntax |
| Pl_statements_c2 | Language.PLSql.Syntax |
| Plsql_block |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Plus | Language.Java.Syntax |
| Position | Language.PLSql.Syntax |
| Position_c1 | Language.PLSql.Syntax |
| Position_c2 | Language.PLSql.Syntax |
| Pragma_declaration | Language.PLSql.Syntax |
| Pragma_declaration_c1 | Language.PLSql.Syntax |
| Pragma_declaration_c2 | Language.PLSql.Syntax |
| Pragma_declaration_c3 | Language.PLSql.Syntax |
| Primary |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| PrimaryMethodInvocation | Language.Java.Syntax |
| PrimaryNoNewArray |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| PrimaryNoNewArray_Expression | Language.Java.Syntax |
| Primary_Identifier | Language.Java.Syntax |
| PrimitiveType |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| PrimitiveType1 | Language.Java.Syntax |
| PrimitiveType_Dim_s_Expression | Language.Java.Syntax |
| Priorities | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Priority | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Private | Language.Java.Syntax |
| ProcInstr | PrettyPrint.XML.Dot |
| Procedure_body_declaration | Language.PLSql.Syntax |
| Procedure_body_declaration_c1 | Language.PLSql.Syntax |
| Procedure_body_declaration_c2 | Language.PLSql.Syntax |
| Procedure_body_declaration_c3 | Language.PLSql.Syntax |
| Procedure_header_declaration |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Prod | Language.ContextFree.Cfg |
| ProdM | Language.ContextFree.CfgM |
| ProdName | Language.ContextFree.Cfg |
| Production | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Productions | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Profile |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Program | Language.Haskell.Literate |
| Prolog | PrettyPrint.XML.Dot |
| Protected | Language.Java.Syntax |
| PubidLiteral | PrettyPrint.XML.Dot |
| Public | Language.Java.Syntax |
| PublicID | PrettyPrint.XML.Dot |
| pD | Language.Sdf.Metrics.Halstead |
| pE | Language.Sdf.Metrics.Halstead |
| pL | Language.Sdf.Metrics.Halstead |
| pN | Language.Sdf.Metrics.Halstead |
| pT | Language.Sdf.Metrics.Halstead |
| pV | Language.Sdf.Metrics.Halstead |
| packDecl2ident | Language.Java.Util |
| pairs | Data.Relation.SetOfPairs |
| parentesis | Text.ReadExtras |
| parseFormula | Language.Gnumeric.Formula |
| parseFormulas | Language.Gnumeric.Parser |
| parseFormulasOnSheet | Language.Gnumeric.Parser |
| parseJavaFile | Language.Java.ChaseImports |
| parseJavaFileOnPath | Language.Java.ChaseImports |
| parseModules | Language.Haskell.DeadCodeHUnit |
| parseRegExp | Language.HaLex.RegExpParser |
| parseRenderParse | Language.Sdf.PrettyHUnit |
| parseString | Debug.HUnitExtras |
| parseWrap |
| 1 (Function) | Language.Haskell.DeadCodeHUnit |
| 2 (Function) | Language.Haskell.FreeNamesHUnit |
| parseWrap' | Language.Haskell.ChaseImports |
| pg2dot | Language.Java.PackageGraph |
| pgAsRel | Language.Java.PackageGraph |
| ph | Language.Sdf.PrettyHUnit |
| plusDfa | Language.HaLex.FaOperations, Language.Halex |
| plusFa | Language.HaLex.FaClasses, Language.Halex |
| plusNdfa | Language.HaLex.FaOperations, Language.Halex |
| pn | Language.Sdf.Metrics.Halstead |
| pnt | Camila.Prelude, Pointless.Combinators |
| pop |
| 1 (Function) | Camila.Examples.StackAlg |
| 2 (Function) | Language.ContextFree.Stack |
| popN | Language.ContextFree.Stack |
| postfix | Language.Gnumeric.Formula |
| ppPTable | Language.ContextFree.Tables |
| pp_at | Language.ContextFree.G_SLR, Language.ContextFree.SLR |
| pp_tt | Language.ContextFree.LR_0 |
| pr | Language.HaLex.DfaMonad |
| pr_of_it | Language.ContextFree.LR_0 |
| pre | Camila.PartialFunc, Camila.Prelude |
| pre' | Camila.PartialFunc, Camila.Prelude |
| preOff | Camila.Prelude, Camila.State |
| preOn | Camila.Prelude, Camila.State |
| prefix | Language.Gnumeric.Formula |
| preservedPoints | Data.Relation.SetOfPairs |
| prettyPrint |
| 1 (Function) | Language.PLSql.Pretty |
| 2 (Function) | Language.VDM_SL.Pretty |
| primitive2str | Language.Java.Util |
| printConceptLattice | Data.Relation.FormalConceptAnalysis |
| printConceptLatticeWith | Data.Relation.FormalConceptAnalysis |
| printEdge | Language.Java.CallGraph |
| printGroupMetricHeaderRow | Data.Metrics |
| printGroupMetricList | Data.Metrics |
| printGroupMetricRow | Data.Metrics |
| printMetricHeadersRow | Data.Metrics |
| printMetricsCSV | Language.Haskell.Metrics |
| printMetricsList | Data.Metrics |
| printMetricsRow | Data.Metrics |
| printNode | Language.Java.CallGraph |
| printO | Debug.Observe |
| printRel | Data.Relation.GraphViz |
| process | Language.Haskell.Literate |
| prod |
| 1 (Function) | Language.ContextFree.Examples.LittleLambda |
| 2 (Function) | Language.Sdf.Metrics.Size |
| prods |
| 1 (Function) | Language.ContextFree.Cfg |
| 2 (Function) | Language.ContextFree.CfgM |
| prods2cfg | Language.ContextFree.Cfg |
| prods_nt | Language.ContextFree.Cfg |
| prods_rhs_with_nt | Language.ContextFree.Cfg |
| project | Data.Relation.SetOfPairs |
| projectBackward | Data.Relation.SetOfPairs |
| projectCG | Language.Java.CallGraph |
| projectPG' | Language.Java.PackageGraph |
| projectWith | Data.Relation.SetOfPairs |
| prop_DomInvRng | Data.Relation.SetOfPairsQuickCheck |
| ptable2Matrix | Language.ContextFree.Tables |
| ptable2TableString | Language.ContextFree.Tables |
| push |
| 1 (Function) | Camila.Examples.StackAlg |
| 2 (Function) | Language.ContextFree.Stack |
| push2 | Camila.Examples.StackAlg |
| push3 | Camila.Examples.StackAlg |
| putStrO | Debug.Observe |
