| M | Language.PLSql.Syntax |
| MAP |
| 1 (Data Constructor) | Language.VDM_SL.Syntax |
| 2 (Type/Class) | PrettyPrint.Tables.LrcPrelude |
| 3 (Type/Class) | PrettyPrint.XML.LrcPrelude |
| MAP_ENUM_L | Language.VDM_SL.Syntax |
| MAP_ENUM_S | Language.VDM_SL.Syntax |
| MAP_TYPE | Language.VDM_SL.Syntax |
| MAYBE_DCL_STAT | Language.VDM_SL.Syntax |
| MAYBE_DCL_STAT_E | Language.VDM_SL.Syntax |
| MAYBE_DCL_STAT_L | Language.VDM_SL.Syntax |
| MAYBE_DCL_STAT_S | Language.VDM_SL.Syntax |
| MAY_EXTERN_JUST | Language.VDM_SL.Syntax |
| MAY_EXTERN_NOTH | Language.VDM_SL.Syntax |
| MAY_PRECOND_JUST | Language.VDM_SL.Syntax |
| MAY_PRECOND_NOTH | Language.VDM_SL.Syntax |
| MERGE1 | Language.VDM_SL.Syntax |
| MERGE2 | Language.VDM_SL.Syntax |
| MINUS | Language.VDM_SL.Syntax |
| MK_ID | Language.VDM_SL.Syntax |
| MO | Control.ModelViewController |
| MOD | Language.VDM_SL.Syntax |
| MODIFY | Language.VDM_SL.Syntax |
| MU | Language.VDM_SL.Syntax |
| MULT | Language.VDM_SL.Syntax |
| MULT_SET_BIND | Language.VDM_SL.Syntax |
| MULT_TYPE_BIND | Language.VDM_SL.Syntax |
| MUNION | Language.VDM_SL.Syntax |
| MV | Control.ModelViewController |
| MV' | Control.ModelViewController |
| Map_enumeration_list | Language.VDM_SL.Syntax |
| MarkupDecl | PrettyPrint.XML.Dot |
| Max_memory_size | Language.PLSql.Syntax |
| Max_memory_size_c1 | Language.PLSql.Syntax |
| Max_memory_size_c2 | Language.PLSql.Syntax |
| Maybe_dcl_statement_list | Language.VDM_SL.Syntax |
| Maybe_externals | Language.VDM_SL.Syntax |
| Maybe_precondition | Language.VDM_SL.Syntax |
| MemberName | Language.Java.Declarations |
| Memory_size |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Memory_size_clause |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Memory_size_or_null | Language.PLSql.Syntax |
| Memory_size_or_null_c1 | Language.PLSql.Syntax |
| Memory_size_or_null_c2 | Language.PLSql.Syntax |
| Memory_size_or_other | Language.PLSql.Syntax |
| Memory_size_or_other_c1 | Language.PLSql.Syntax |
| Memory_size_or_other_c2 | Language.PLSql.Syntax |
| Memory_size_or_other_c3 | Language.PLSql.Syntax |
| Memory_size_or_unlimited | Language.PLSql.Syntax |
| Memory_size_or_unlimited_c1 | Language.PLSql.Syntax |
| Memory_size_or_unlimited_c2 | Language.PLSql.Syntax |
| Meta_parameter | Language.PLSql.Syntax |
| Meta_parameter_c1 | Language.PLSql.Syntax |
| Meta_parameter_c10 | Language.PLSql.Syntax |
| Meta_parameter_c11 | Language.PLSql.Syntax |
| Meta_parameter_c12 | Language.PLSql.Syntax |
| Meta_parameter_c13 | Language.PLSql.Syntax |
| Meta_parameter_c14 | Language.PLSql.Syntax |
| Meta_parameter_c15 | Language.PLSql.Syntax |
| Meta_parameter_c16 | Language.PLSql.Syntax |
| Meta_parameter_c17 | Language.PLSql.Syntax |
| Meta_parameter_c18 | Language.PLSql.Syntax |
| Meta_parameter_c19 | Language.PLSql.Syntax |
| Meta_parameter_c2 | Language.PLSql.Syntax |
| Meta_parameter_c20 | Language.PLSql.Syntax |
| Meta_parameter_c21 | Language.PLSql.Syntax |
| Meta_parameter_c22 | Language.PLSql.Syntax |
| Meta_parameter_c23 | Language.PLSql.Syntax |
| Meta_parameter_c24 | Language.PLSql.Syntax |
| Meta_parameter_c3 | Language.PLSql.Syntax |
| Meta_parameter_c4 | Language.PLSql.Syntax |
| Meta_parameter_c5 | Language.PLSql.Syntax |
| Meta_parameter_c6 | Language.PLSql.Syntax |
| Meta_parameter_c7 | Language.PLSql.Syntax |
| Meta_parameter_c8 | Language.PLSql.Syntax |
| Meta_parameter_c9 | Language.PLSql.Syntax |
| Meta_parameter_value |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Meta_parameter_values |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Meta_statement | Language.PLSql.Syntax |
| Meta_statement_c1 | Language.PLSql.Syntax |
| Meta_statement_c2 | Language.PLSql.Syntax |
| Meta_statement_c3 | Language.PLSql.Syntax |
| Meta_statement_c4 | Language.PLSql.Syntax |
| Meta_statement_c5 | Language.PLSql.Syntax |
| Meta_statement_c6 | Language.PLSql.Syntax |
| Meta_statement_c7 | Language.PLSql.Syntax |
| Meta_statement_c8 | Language.PLSql.Syntax |
| Meta_statement_semicolon |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Method | Language.Java.Declarations |
| MethodBody | Language.Java.Syntax |
| MethodDeclaration |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| MethodDeclarator |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| MethodHeader | Language.Java.Syntax |
| MethodHeader_MethodBody | Language.Java.Syntax |
| MethodInvocation |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| MethodInvocation1 | Language.Java.Syntax |
| MethodName | Language.Java.Declarations |
| Metric |
| 1 (Type/Class) | Data.Metrics |
| 2 (Data Constructor) | Data.Metrics |
| Minus | Language.Java.Syntax |
| Misc | PrettyPrint.XML.Dot |
| Miscs | PrettyPrint.XML.Dot |
| Mixed | PrettyPrint.XML.Dot |
| ModelOperation | Control.ModelViewController |
| ModelView | Control.ModelViewController |
| ModelView' | Control.ModelViewController |
| Modifier |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Type/Class) | PrettyPrint.XML.Dot |
| Modifier_s_ConstructorDeclarator_Throws_opt_ConstructorBody | Language.Java.Syntax |
| Modifier_s_Type_MethodDeclarator_Throws_opt | Language.Java.Syntax |
| Module | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| ModuleCollection | Language.Haskell.ModuleCollection |
| ModuleEntry | Language.Haskell.ModuleCollection |
| ModuleId | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| ModuleName |
| 1 (Type/Class) | Language.Haskell.ModuleCollection |
| 2 (Type/Class) | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| ModuleWord | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| MulExp | Language.ContextFree.CfgM |
| Multiple_set_bind | Language.VDM_SL.Syntax |
| Multiple_type_bind | Language.VDM_SL.Syntax |
| m | Camila.Prelude, Data.FiniteMapExtras |
| m2fname | Language.Haskell.ChaseImports |
| main |
| 1 (Function) | Language.Haskell.Literate |
| 2 (Function) | Language.Java.CallGraphHUnit |
| 3 (Function) | Language.Java.DeclarationsHUnit |
| 4 (Function) | Language.Java.TypeInferenceHUnit |
| matchT | Data.TermLanguage, Data.TermLanguage.AutoTermLanguage |
| matches' | Language.HaLex.RegExp, Language.Halex |
| matchesRE | Language.HaLex.RegExp, Language.Halex |
| matrix2table |
| 1 (Function) | PrettyPrint.Tables.Combinators |
| 2 (Function) | PrettyPrint.Tables.Tables |
| matrix2table' |
| 1 (Function) | PrettyPrint.Tables.Combinators |
| 2 (Function) | PrettyPrint.Tables.Tables |
| matrix2tableList |
| 1 (Function) | PrettyPrint.Tables.Combinators |
| 2 (Function) | PrettyPrint.Tables.Tables |
| matrixToRel | Data.Relation.Read |
| maybeResolve | Language.Java.Util |
| mcc | Language.Sdf.Metrics.Size |
| memo | Language.ContextFree.G_LR_Inc_Semantics, Language.ContextFree.MemoInc_G_LR |
| menuQuery | Control.ModelViewController |
| merge | Camila.Prelude, Data.FiniteMapExtras |
| mergeName | Language.VDM_SL.FuncLib |
| minimize | Language.HaLex.FaClasses, Language.Halex |
| minimizeDfa | Language.HaLex.Minimize, Language.Halex |
| minimizeExp | Language.HaLex.Minimize, Language.Halex |
| minimizeNdfa | Language.HaLex.Minimize, Language.Halex |
| mkCellId | Language.Gnumeric.Parser |
| mkCellRef | Language.Gnumeric.CellBlock |
| mkEdge | Data.Relation.GraphViz |
| mkEdgeBack | Data.Relation.GraphViz |
| mkHaFunGraph | Language.Haskell.FunctionGraph |
| mkHaModuleGraph | Language.Haskell.ModuleGraph |
| mkHaModulesGraph | Language.Haskell.ModuleGraph |
| mkImportMap | Language.Java.Util |
| mkMM | Data.Unification |
| mkMenuButtons | Control.ModelViewController |
| mkNode | Data.Relation.GraphViz |
| mkRel | Data.Relation.SetOfPairs |
| mkRelNeighbors | Data.Relation.SetOfPairs |
| mkView | Control.ModelViewController |
| mkr | Camila.Prelude, Data.FiniteMapExtras |
| modelOperations | Control.ModelViewController |
| modelViews | Control.ModelViewController |
| moduleMetrics | Language.Haskell.Metrics |
| munion | Camila.Prelude, Data.FiniteMapExtras |
| munionRel | Camila.Prelude, Data.FiniteMapExtras |
| mvc | Control.ModelViewController |
