1.3 MELT classes

Table of classes sorted by inheritance depth.

0:

CLASS_ROOT

1:

CLASS_ANY_BINDING, CLASS_CONTAINER, CLASS_C_GENERATION_CONTEXT, CLASS_DEBUG_INFORMATION, CLASS_ENVIRONMENT, CLASS_GENERATED_C_CODE, CLASS_MATCHING_CONTEXT, CLASS_MATCH_NORMALIZATION_CONTEXT, CLASS_MODULE_CONTEXT, CLASS_NORMALIZATION_CONTEXT, CLASS_NORMAL_OR_VARIABLE, CLASS_NREP, CLASS_OPTION_DESCRIPTOR, CLASS_PATTERN_CONTEXT, CLASS_PATTERN_EXPANSION_CONTEXT, CLASS_PROPED

2:

CLASS_DESCRIBED_ENVIRONMENT, CLASS_EXPORTED_BINDING, CLASS_FIXED_BINDING, CLASS_FORMAL_BINDING, CLASS_INITIAL_GENERATION_CONTEXT, CLASS_LABEL_BINDING, CLASS_LET_BINDING, CLASS_LOCATED, CLASS_MATCHED_BINDING, CLASS_MATCHED_DATA, CLASS_MATCH_CASE, CLASS_MATCH_GRAPHIC, CLASS_NAMED, CLASS_NORMAL_CONSTRUCTOR_BINDING, CLASS_NREP_ANYPROC, CLASS_NREP_EXPRESSION, CLASS_NREP_SIMPLE

3:

CLASS_ANY_MATCHER, CLASS_CITERATOR, CLASS_CITERATOR_BINDING, CLASS_CLASS_BINDING, CLASS_CMATCHER_BINDING, CLASS_CTYPE, CLASS_DISCRIMINANT, CLASS_FIELD, CLASS_FIELD_BINDING, CLASS_FUNCTION_BINDING, CLASS_FUNMATCHER_BINDING, CLASS_GCC_PASS, CLASS_INFIX_DELIMITER, CLASS_INFIX_LEXEME, CLASS_INFIX_PARSER, CLASS_INSTANCE_BINDING, CLASS_LETREC_BINDING, CLASS_MACRO_BINDING, CLASS_MATCHED_NORMAL_DATA, CLASS_MATCH_FLAG, CLASS_MATCH_STEP, CLASS_MELT_MODE, CLASS_NORMAL_CONSTRUCTED_INSTANCE_BINDING, CLASS_NORMAL_CONSTRUCTED_LAMBDA_BINDING, CLASS_NORMAL_CONSTRUCTED_LIST_BINDING, CLASS_NORMAL_CONSTRUCTED_PAIR_BINDING, CLASS_NORMAL_CONSTRUCTED_TUPLE_BINDING, CLASS_NORMAL_LET_BINDING, CLASS_NREP_COMMENT, CLASS_NREP_CPPIF, CLASS_NREP_INITPROC, CLASS_NREP_JUMP_WHEN_IS_A, CLASS_NREP_LET, CLASS_NREP_MATCHED_DATA, CLASS_NREP_MATCH_DATA_ACTION, CLASS_NREP_MATCH_FLAG, CLASS_NREP_MATCH_JUMP, CLASS_NREP_MATCH_LABEL, CLASS_NREP_PROGN, CLASS_NREP_RETURN, CLASS_NREP_ROUTPROC, CLASS_NREP_TYPED_EXPRESSION, CLASS_PRIMITIVE, CLASS_PRIMITIVE_BINDING, CLASS_SELECTOR, CLASS_SELECTOR_BINDING, CLASS_SEXPR, CLASS_SOURCE, CLASS_SYMBOL, CLASS_SYSTEM_DATA, CLASS_VALUE_BINDING, CLASS_VALUE_DESCRIPTOR

4:

CLASS_CLASS, CLASS_CLONED_SYMBOL, CLASS_CMATCHER, CLASS_CTYPE_GTY, CLASS_FUNMATCHER, CLASS_GCC_ANY_IPA_PASS, CLASS_GCC_GIMPLE_PASS, CLASS_GCC_RTL_PASS, CLASS_INFIX_ANY_SYMBOL, CLASS_INFIX_DELIMITER, CLASS_INFIX_INTEGER_LITERAL, CLASS_INFIX_KEYWORD, CLASS_INFIX_STRING_LITERAL, CLASS_KEYWORD, CLASS_MATCH_STEP_THEN, CLASS_NREP_ALTMATCH, CLASS_NREP_CHUNK, CLASS_NREP_DEFUNROUTPROC, CLASS_NREP_IFCOMMON, CLASS_NREP_LAMBDAROUTPROC, CLASS_NREP_LETREC, CLASS_NREP_MATCH_DATA_CLEAR, CLASS_NREP_MATCH_DATA_FINALIZER, CLASS_NREP_MATCH_DATA_INITIALIZER, CLASS_NREP_MATCH_LABEL_END, CLASS_NREP_TYPED_EXPRESSION_WITH_ARGUMENTS, CLASS_PATMACRO_BINDING, CLASS_SEXPR_MACROSTRING, CLASS_SOURCE_ARGUMENTED_OPERATOR, CLASS_SOURCE_COMMENT, CLASS_SOURCE_CPPIF, CLASS_SOURCE_DEFINITION, CLASS_SOURCE_EXPORTCOMMON, CLASS_SOURCE_EXPORT_MACRO, CLASS_SOURCE_EXPORT_SYNONYM, CLASS_SOURCE_FIELDASSIGN, CLASS_SOURCE_FIELD_PATTERN, CLASS_SOURCE_GET_FIELD, CLASS_SOURCE_IF, CLASS_SOURCE_INSTANCE, CLASS_SOURCE_LABELLED, CLASS_SOURCE_LAMBDA, CLASS_SOURCE_LAZY_MACRO_EXPANSION, CLASS_SOURCE_LET, CLASS_SOURCE_LET_BINDING, CLASS_SOURCE_MATCH, CLASS_SOURCE_MATCH_CASE, CLASS_SOURCE_MULTICALL, CLASS_SOURCE_OR, CLASS_SOURCE_PATTERN, CLASS_SOURCE_PROGN, CLASS_SOURCE_PUT_FIELDS, CLASS_SOURCE_QUOTE, CLASS_SOURCE_SETQ, CLASS_VARISIZED_VALUE_DESCRIPTOR

5:

CLASS_GCC_SIMPLE_IPA_PASS, CLASS_GCC_TRANSFORM_IPA_PASS, CLASS_INFIX_ADDITIVE_SYMBOL, CLASS_INFIX_MULTIPLICATIVE_SYMBOL, CLASS_INFIX_RELATIONAL_SYMBOL, CLASS_INFIX_SYMBOL, CLASS_MATCH_STEP_CLEAR, CLASS_MATCH_STEP_WITH_DATA, CLASS_MATCH_STEP_WITH_FLAG, CLASS_NREP_APPLY, CLASS_NREP_IF, CLASS_NREP_IFISA, CLASS_NREP_IFSAME, CLASS_NREP_MSEND, CLASS_SOURCE_APPLY, CLASS_SOURCE_CITERATION, CLASS_SOURCE_CMATCHEXPR, CLASS_SOURCE_DEFINE, CLASS_SOURCE_DEFINITION_FORMAL, CLASS_SOURCE_DEFOBJCOMMON, CLASS_SOURCE_EXIT, CLASS_SOURCE_EXPORT_CLASS, CLASS_SOURCE_EXPORT_PATMACRO, CLASS_SOURCE_EXPORT_VALUES, CLASS_SOURCE_FOREVER, CLASS_SOURCE_FUNMATCHEXPR, CLASS_SOURCE_IFELSE, CLASS_SOURCE_LETREC, CLASS_SOURCE_LETREC_BINDING, CLASS_SOURCE_LIST, CLASS_SOURCE_MSEND, CLASS_SOURCE_PATTERN_AND, CLASS_SOURCE_PATTERN_CONSTANT, CLASS_SOURCE_PATTERN_CONSTRUCT, CLASS_SOURCE_PATTERN_OBJECT, CLASS_SOURCE_PATTERN_OR, CLASS_SOURCE_PATTERN_VARIABLE, CLASS_SOURCE_PATTERN_WHEN, CLASS_SOURCE_PRIMITIVE, CLASS_SOURCE_RETURN, CLASS_SOURCE_TUPLE, CLASS_SOURCE_UNSAFE_GET_FIELD, CLASS_SOURCE_UNSAFE_PUT_FIELDS

6:

CLASS_MATCH_STEP_FLAG_OPERATION, CLASS_MATCH_STEP_FLAG_SET, CLASS_MATCH_STEP_SUCCESS_WHEN_FLAG, CLASS_MATCH_STEP_TEST, CLASS_NREP_MULTIAPPLY, CLASS_NREP_MULTIMSEND, CLASS_SOURCE_DEFCITERATOR, CLASS_SOURCE_DEFCLASS, CLASS_SOURCE_DEFCMATCHER, CLASS_SOURCE_DEFINSTANCE, CLASS_SOURCE_DEFPRIMITIVE, CLASS_SOURCE_DEFUN, CLASS_SOURCE_DEFUNMATCHER, CLASS_SOURCE_PATTERN_COMPOSITE, CLASS_SOURCE_PATTERN_INSTANCE, CLASS_SOURCE_PATTERN_JOKER_VARIABLE, CLASS_SOURCE_PATTERN_LIST, CLASS_SOURCE_PATTERN_TUPLE

7:

CLASS_MATCH_STEP_FLAG_CONJONCTION, CLASS_MATCH_STEP_FLAG_DISJONCTION, CLASS_MATCH_STEP_TEST_GROUP, CLASS_MATCH_STEP_TEST_INSTANCE, CLASS_MATCH_STEP_TEST_MATCHER, CLASS_MATCH_STEP_TEST_VARIABLE, CLASS_SOURCE_DEFSELECTOR, CLASS_SOURCE_PATTERN_MATCHER

8:

CLASS_SOURCE_PATTERN_C_MATCH, CLASS_SOURCE_PATTERN_FUN_MATCH

1.3.1 CLASS_ANY_BINDING

Class defined at file ‘warmelt-first.melt’, line 486.

1 ancestors: CLASS_ROOT.

1 fields:

26 sub-classes: CLASS_CITERATOR_BINDING, CLASS_CLASS_BINDING, CLASS_CMATCHER_BINDING, CLASS_EXPORTED_BINDING, CLASS_FIELD_BINDING, CLASS_FIXED_BINDING, CLASS_FORMAL_BINDING, CLASS_FUNCTION_BINDING, CLASS_FUNMATCHER_BINDING, CLASS_INSTANCE_BINDING, CLASS_LABEL_BINDING, CLASS_LETREC_BINDING, CLASS_LET_BINDING, CLASS_MACRO_BINDING, CLASS_MATCHED_BINDING, CLASS_NORMAL_CONSTRUCTED_INSTANCE_BINDING, CLASS_NORMAL_CONSTRUCTED_LAMBDA_BINDING, CLASS_NORMAL_CONSTRUCTED_LIST_BINDING, CLASS_NORMAL_CONSTRUCTED_PAIR_BINDING, CLASS_NORMAL_CONSTRUCTED_TUPLE_BINDING, CLASS_NORMAL_CONSTRUCTOR_BINDING, CLASS_NORMAL_LET_BINDING, CLASS_PATMACRO_BINDING, CLASS_PRIMITIVE_BINDING, CLASS_SELECTOR_BINDING, CLASS_VALUE_BINDING.

class description: The CLASS_ANY_BINDING is the super-class of every binding. The BINDER field is the bound name. Bindings are added by module initializers. Don’t create bindings by instanciating this class in user code, they are created within the Melt translator.

1.3.2 CLASS_ANY_MATCHER

Class defined at file ‘warmelt-first.melt’, line 145.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED.

5 fields:

2 sub-classes: CLASS_CMATCHER, CLASS_FUNMATCHER.

class description: The CLASS_ANY_MATCHER is the common super-class for matcher descriptors. The AMATCH_IN gives the formal input arguments, the AMATCH_MATCHBIND is the formal binding of the matched stuff, and AMATCH_OUT is the formal output arguments. Instances of sub-classes of CLASS_ANY_MATCHER are automagically created by macros like DEFCMATCHER and DEFUNMATCHER.

1.3.3 CLASS_CITERATOR

Class defined at file ‘warmelt-first.melt’, line 128.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED.

7 fields:

class description: The CLASS_CITERATOR is the class describing c-iterators. The formal start arguments are in the CITER_START_FORMALS field, the CITER_STATE field gives the state symbol, the CITER_BODY_FORMALS gives the formal body arguments, and the before and after expansions are CITER_EXPBEFORE and CITER_EXPAFTER. Instances of CLASS_CITERATOR are automagically created by the DEFCITERATOR macro.

1.3.4 CLASS_CITERATOR_BINDING

Class defined at file ‘warmelt-first.melt’, line 566.

3 ancestors: CLASS_ROOT CLASS_ANY_BINDING CLASS_FIXED_BINDING.

4 fields:

class description: The internal CLASS_CITERATOR_BINDING is for c-iterator bindings. See the DEFCITERATOR macro. The CBIND_CITERDEF gives the definition, and the CBIND_CITERATOR provides the c-iterator itself.

1.3.5 CLASS_CLASS

Class defined at file ‘warmelt-first.melt’, line 92.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_DISCRIMINANT.

8 fields:

class description: The CLASS_CLASS is the class of all classes - which are therefore discriminants. The CLASS_ANCESTORS field holds the sequence of ancestors. The CLASS_FIELDS gives the sequence of inherited and own fields. The CLASS_DATA is for class variables. Instances of CLASS_CLASS are automagically created by the DEFCLASS macro.

1.3.6 CLASS_CLASS_BINDING

Class defined at file ‘warmelt-first.melt’, line 588.

3 ancestors: CLASS_ROOT CLASS_ANY_BINDING CLASS_FIXED_BINDING.

4 fields:

class description: The internal CLASS_CLASS_BINDING is for class bindings. See the DEFCLASS macro. The definition is provided by CBIND_DEFCLASS, and the class itself is given by CBIND_CLASS. A class definition also define fields.

1.3.7 CLASS_CLONED_SYMBOL

Class defined at file ‘warmelt-first.melt’, line 330.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_SYMBOL.

4 fields:

class description: The CLASS_CLONED_SYMBOL is the sub-class of cloned symbols, e.g. like GENSYM-ed symbols is many Lisps. Cloned symbols are internally generated inside the MELT translator by the CLONE_SYMBOL function. Their CSYM_URANK field gives their unique rank as a boxed integer. Cloned symbols are not interned.

1.3.8 CLASS_CMATCHER

Class defined at file ‘warmelt-first.melt’, line 159.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_ANY_MATCHER.

9 fields:

class description: The CLASS_CMATCHER is the class for c-matcher descriptors. CMATCH_STATE is the state symbol, CMATCH_EXPTEST gives the expansion for testing in patterns, CMATCH_EXPFILL is the expansion for filling a matched pattern. CMATCH_EXPOPER is the expansion for operator uses. Instances of CLASS_CMATCHER are automagically created by the DEFCMATCHER macro.

1.3.9 CLASS_CMATCHER_BINDING

Class defined at file ‘warmelt-first.melt’, line 618.

3 ancestors: CLASS_ROOT CLASS_ANY_BINDING CLASS_FIXED_BINDING.

3 fields:

class description: The internal CLASS_CMATCHER_BINDING is for c-matcher bindings. See the DEFCMATCHER macro. The c-matcher is in CMBIND_MATCHER.

1.3.10 CLASS_CONTAINER

Class defined at file ‘warmelt-first.melt’, line 63.

1 ancestors: CLASS_ROOT.

1 fields:

class description: The CLASS_CONTAINER is a class for mutable containers (that is references). The contained value is CONTAINER_VALUE.

1.3.11 CLASS_CTYPE

Class defined at file ‘warmelt-first.melt’, line 354.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED.

11 fields:

1 sub-classes: CLASS_CTYPE_GTY.

class description: The CLASS_CTYPE is for predefined descriptors of C types (like long or tree). CTYPE_KEYWORD gives the associated keywords (for formal argument lists, etc...), CTYPE_CNAME gives the C identifier of the type. Parameter passing is described by CTYPE_PARCHAR (for the character) and CTYPE_PARSTRING (for the corresponding C string). Argument member in union is given by CTYPE_ARGFIELD, and by CTYPE_RESFIELD for results. The marking routine is CTYPE_MARKER and CTYPE_DESCR is some descriptive string or data. A possible alternate keyword is given by CTYPE_ALTKEYWORD. Adding new c-types requires an update of MELT runtime!

1.3.12 CLASS_CTYPE_GTY

Class defined at file ‘warmelt-first.melt’, line 380.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_CTYPE.

31 fields:

class description: The CLASS_CTYPE_GTY is a subclass of CLASS_CTYPE and describes C types which are GTY-ed, that is handled by the Ggc [the existing Gcc Garbage Collector].

1.3.13 CLASS_C_GENERATION_CONTEXT

Class defined at file ‘warmelt-first.melt’, line 847.

1 ancestors: CLASS_ROOT.

9 fields:

1 sub-classes: CLASS_INITIAL_GENERATION_CONTEXT.

class description: The internal CLASS_C_GENERATION_CONTEXT (for gurus) is the class of contexts for C code generation, while generating a single C routine. The containing object routine is GNCX_OBJROUT. The object map from normal bindings to local is given in GNCX_LOCMAP. The list of freed local value pointers is in GNCX_FREEPTRLIST. The list of free longs is in GNCX_FREELONGLIST. For other c-types, each c-type has its list, associated to it in GNCX_FREEOTHERMAPS. The return location is in GNCX_RETLOC. The cached map of procedures to compiled routines is in GNCX_COMPICACHE. The module compilation context is in GNCX_MODULCONTEXT. A map keyed by normal matchers to give a unique label prefix is in GNCX_MATCHMAP.

1.3.14 CLASS_DEBUG_INFORMATION

Class defined at file ‘warmelt-debug.melt’, line 39.

1 ancestors: CLASS_ROOT.

3 fields:

class description: The CLASS_DEBUG_INFORMATION is for debug information output, e.g. DEBUG_MSG macro. The produced output or buffer is DBGI_OUT, the occurrence map is DBGI_OCCMAP, used to avoid outputting twice the same object. The boxed maximal depth is DBGI_MAXDEPTH.

1.3.15 CLASS_DESCRIBED_ENVIRONMENT

Class defined at file ‘warmelt-first.melt’, line 478.

2 ancestors: CLASS_ROOT CLASS_ENVIRONMENT.

4 fields:

class description: The CLASS_DESCRIBED_ENVIRONMENT provides an extra descriptor DENV_DESCR which can for example be a descriptive string.

1.3.16 CLASS_DISCRIMINANT

Class defined at file ‘warmelt-first.melt’, line 79.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED.

5 fields:

1 sub-classes: CLASS_CLASS.

class description: The CLASS_DISCRIMINANT is the class of every discriminant. It has the method dictionnary DISC_METHODICT and the super-discriminant DISC_SUPER. The DISC_SENDER can hold a closure doing the send if the selector is not found. Otherwise, the default is to send thru the super-discriminant.

1.3.17 CLASS_ENVIRONMENT

Class defined at file ‘warmelt-first.melt’, line 464.

1 ancestors: CLASS_ROOT.

3 fields:

1 sub-classes: CLASS_DESCRIBED_ENVIRONMENT.

class description: The CLASS_ENVIRONMENT reifies environments. The binding map is ENV_BIND, the previous environment is ENV_PREV, and the procedure if any of this environment is ENV_PROC. It is heavily used within the MELT translator. Module initialization produces fresh instances of it. See the CURRENT_MODULE_ENVIRONMENT_CONTAINER and PARENT_MODULE_ENVIRONMENT macros.

1.3.18 CLASS_EXPORTED_BINDING

Class defined at file ‘warmelt-first.melt’, line 495.

2 ancestors: CLASS_ROOT CLASS_ANY_BINDING.

1 fields:

3 sub-classes: CLASS_MACRO_BINDING, CLASS_PATMACRO_BINDING, CLASS_VALUE_BINDING.

class description: The CLASS_EXPORTED_BINDING is the super-class of exported bindings.

1.3.19 CLASS_FIELD

Class defined at file ‘warmelt-first.melt’, line 105.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED.

4 fields:

class description: The CLASS_FIELD is the class of every field. Its objnum is its offset. Its FLD_OWNCLASS is the class owning that field. The FLD_DATA is for additional data. Instances of CLASS_FIELD are automagically created by the DEFCLASS macro.

1.3.20 CLASS_FIELD_BINDING

Class defined at file ‘warmelt-first.melt’, line 599.

3 ancestors: CLASS_ROOT CLASS_ANY_BINDING CLASS_FIXED_BINDING.

4 fields:

class description: The internal CLASS_FIELD_BINDING is for field bindings. See the DEFCLASS macro. The class binding is FLBIND_CLABIND, and the defined field is FLBIND_FIELD.

1.3.21 CLASS_FIXED_BINDING

Class defined at file ‘warmelt-first.melt’, line 536.

2 ancestors: CLASS_ROOT CLASS_ANY_BINDING.

2 fields:

9 sub-classes: CLASS_CITERATOR_BINDING, CLASS_CLASS_BINDING, CLASS_CMATCHER_BINDING, CLASS_FIELD_BINDING, CLASS_FUNCTION_BINDING, CLASS_FUNMATCHER_BINDING, CLASS_INSTANCE_BINDING, CLASS_PRIMITIVE_BINDING, CLASS_SELECTOR_BINDING.

class description: The internal CLASS_FIXED_BINDING is a super-class of bindings inside a compilation unit. The data description is inside FIXBIND_DATA. Fixed bindings are internal to the translator.

1.3.22 CLASS_FORMAL_BINDING

Class defined at file ‘warmelt-first.melt’, line 524.

2 ancestors: CLASS_ROOT CLASS_ANY_BINDING.

2 fields:

class description: The CLASS_FORMAL_BINDING is the class of formal argument bindings [like in defun lambda defprimitive defciterator etc..]. The FBIND_TYPE gives the formal’s c-type.

1.3.23 CLASS_FUNCTION_BINDING

Class defined at file ‘warmelt-first.melt’, line 578.

3 ancestors: CLASS_ROOT CLASS_ANY_BINDING CLASS_FIXED_BINDING.

3 fields:

class description: The internal CLASS_FUNCTION_BINDING is for function bindings. See the DEFUN macro. The FUBIND_DEFUN provides the definition.

1.3.24 CLASS_FUNMATCHER

Class defined at file ‘warmelt-first.melt’, line 178.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_ANY_MATCHER.

8 fields:

class description: The CLASS_FUNMATCHER describes fun-matchers. FMATCH_MATCHF is the matching function -for patterns. FMATCH_APPLYF is the applying function -for expressions. FMATCH_DATA is some additional client data. Instances of CLASS_FUNMATCHER are automagically created by the DEFUNMATCHER macro.

1.3.25 CLASS_FUNMATCHER_BINDING

Class defined at file ‘warmelt-first.melt’, line 628.

3 ancestors: CLASS_ROOT CLASS_ANY_BINDING CLASS_FIXED_BINDING.

4 fields:

class description: The internal CLASS_FUNMATCHER_BINDING is for funmatcher bindings. See the DEFUNMATCHER macro. The funmatcher is in FMBIND_FUNMATCHER and its definition in FMBIND_DEFUNMATCHER.

1.3.26 CLASS_GCC_ANY_IPA_PASS

Class defined at file ‘warmelt-first.melt’, line 730.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_GCC_PASS.

10 fields:

2 sub-classes: CLASS_GCC_SIMPLE_IPA_PASS, CLASS_GCC_TRANSFORM_IPA_PASS.

class description: The CLASS_GCC_ANY_IPA_PASS is the common class for every GCC inter procedural analysis [IPA] pass descriptors.

1.3.27 CLASS_GCC_GIMPLE_PASS

Class defined at file ‘warmelt-first.melt’, line 715.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_GCC_PASS.

10 fields:

class description: The CLASS_GCC_GIMPLE_PASS is for GCC gimple pass descriptors.

1.3.28 CLASS_GCC_PASS

Class defined at file ‘warmelt-first.melt’, line 684.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED.

10 fields:

5 sub-classes: CLASS_GCC_ANY_IPA_PASS, CLASS_GCC_GIMPLE_PASS, CLASS_GCC_RTL_PASS, CLASS_GCC_SIMPLE_IPA_PASS, CLASS_GCC_TRANSFORM_IPA_PASS.

class description: The CLASS_GCC_PASS is the super-class of GCC compiler passes descriptors, as provided in MELT. Once correctly instanciated, such a pass descriptor should be registered thru the INSTALL_MELT_GCC_PASS primitive. Pass descriptors are named (be careful to give a unique unused name!). The GCCPASS_GATE is the pass gate function. The GCCPASS_EXEC is the pass execution function. The field GCCPASS_DATA can be used for client data. The fields GCCPASS_PROPERTIES_REQUIRED GCCPASS_PROPERTIES_PROVIDED GCCPASS_PROPERTIES_DESTROYED GCCPASS_TODO_FLAGS_START GCCPASS_TODO_FLAGS_FINISH are like their counterparts in C, and can be a boxed integer, a string or named [i.e. symbol], or a tuple or list of them.

1.3.29 CLASS_GCC_RTL_PASS

Class defined at file ‘warmelt-first.melt’, line 722.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_GCC_PASS.

10 fields:

class description: The CLASS_GCC_RTL_PASS is for GCC RTL pass descriptors.

1.3.30 CLASS_GCC_SIMPLE_IPA_PASS

Class defined at file ‘warmelt-first.melt’, line 736.

5 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_GCC_PASS CLASS_GCC_ANY_IPA_PASS.

10 fields:

class description: The CLASS_GCC_SIMPLE_IPA_PASS is for GCC simple IPA pass descriptors.

1.3.31 CLASS_GCC_TRANSFORM_IPA_PASS

Class defined at file ‘warmelt-first.melt’, line 743.

5 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_GCC_PASS CLASS_GCC_ANY_IPA_PASS.

13 fields:

class description: The CLASS_GCC_TRANSFORM_IPA_PASS is for GCC full IPA pass descriptors which don’t read or write any LTO information but are plain transforming IPA passes.

1.3.32 CLASS_GENERATED_C_CODE

Class defined at file ‘warmelt-first.melt’, line 892.

1 ancestors: CLASS_ROOT.

class description: The super-class CLASS_GENERATED_C_CODE is a common super-class for representing generated C abstract syntax trees inside the MELT translator. Within MELT, it has nothing in common with GCC compiled C abstract syntax trees (that is :tree and :gimple).

1.3.33 CLASS_INFIX_ADDITIVE_SYMBOL

Class defined at file ‘warmelt-first.melt’, line 268.

5 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_INFIX_LEXEME CLASS_INFIX_ANY_SYMBOL.

3 fields:

class description: The CLASS_INFIX_ADDITIVE_SYMBOL is for infix additive symbols, starting with + or - or |. Prefix them with an ignored backslash \ to have them parsed as an ordinary symbol.

1.3.34 CLASS_INFIX_ANY_SYMBOL

Class defined at file ‘warmelt-first.melt’, line 254.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_INFIX_LEXEME.

3 fields:

4 sub-classes: CLASS_INFIX_ADDITIVE_SYMBOL, CLASS_INFIX_MULTIPLICATIVE_SYMBOL, CLASS_INFIX_RELATIONAL_SYMBOL, CLASS_INFIX_SYMBOL.

class description: The CLASS_INFIX_SYMBOL is the superclass of all infix symbol occurrences. LEXEME_DATA is the parsed symbol.

1.3.35 CLASS_INFIX_DELIMITER

Class defined at file ‘warmelt-first.melt’, line 295.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_INFIX_LEXEME.

3 fields:

class description: The CLASS_INFIX_DELIMIER is for delimiters. LEXEME_DATA is the parsed delimiter.

1.3.36 CLASS_INFIX_DELIMITER

Class defined at file ‘xtramelt-parse-infix-syntax.melt’, line 160.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED.

3 fields:

class description: The CLASS_INFIX_DELIMITER is an internal class for infix delimiters. IDELIM_STRING is the delimiter.

1.3.37 CLASS_INFIX_INTEGER_LITERAL

Class defined at file ‘warmelt-first.melt’, line 247.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_INFIX_LEXEME.

3 fields:

class description: The CLASS_INFIX_INTEGER_LITERAL is for infix integer literals. LEXEME_DATA is the parsed boxed constant integer.

1.3.38 CLASS_INFIX_KEYWORD

Class defined at file ‘warmelt-first.melt’, line 302.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_INFIX_LEXEME.

3 fields:

class description: The CLASS_INFIX_KEYWORD is for infix keyword occurrences -keywords start with a colon :. LEXEME_DATA is the parsed keyword symbol.

1.3.39 CLASS_INFIX_LEXEME

Class defined at file ‘warmelt-first.melt’, line 231.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED.

3 fields:

9 sub-classes: CLASS_INFIX_ADDITIVE_SYMBOL, CLASS_INFIX_ANY_SYMBOL, CLASS_INFIX_DELIMITER, CLASS_INFIX_INTEGER_LITERAL, CLASS_INFIX_KEYWORD, CLASS_INFIX_MULTIPLICATIVE_SYMBOL, CLASS_INFIX_RELATIONAL_SYMBOL, CLASS_INFIX_STRING_LITERAL, CLASS_INFIX_SYMBOL.

class description: The CLASS_INFIX_LEXEME is the common super-class for infix lexemes [other than CLASS_SEXPR_MACROSTRING]. The LEXEME_DATA is the occurring data.

1.3.40 CLASS_INFIX_MULTIPLICATIVE_SYMBOL

Class defined at file ‘warmelt-first.melt’, line 277.

5 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_INFIX_LEXEME CLASS_INFIX_ANY_SYMBOL.

3 fields:

class description: The CLASS_INFIX_MULTIPLICATIVE_SYMBOL is for infix multiplicative symbols, starting with * or / or & or %. Prefix them with an ignored backslash \ to have them parsed as an ordinary symbol.

1.3.41 CLASS_INFIX_PARSER

Class defined at file ‘xtramelt-parse-infix-syntax.melt’, line 84.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED.

6 fields:

class description: The CLASS_INFIX_PARSER is an internal class for infix parsing. IFXP_FILNAM is the parsed file name, IFXP_ENV is the topmost parsing environment, IFXP_DELIMAP is the delimiter string map, IFXP_TOKENLIST is the lexical token list.

1.3.42 CLASS_INFIX_RELATIONAL_SYMBOL

Class defined at file ‘warmelt-first.melt’, line 286.

5 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_INFIX_LEXEME CLASS_INFIX_ANY_SYMBOL.

3 fields:

class description: The CLASS_INFIX_RELATIONAL_SYMBOL is for infix relational symbols, starting with < > = ! ~ @. Prefix them with an ignored backslash \ to have them parsed as an ordinary symbol.

1.3.43 CLASS_INFIX_STRING_LITERAL

Class defined at file ‘warmelt-first.melt’, line 239.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_INFIX_LEXEME.

3 fields:

class description: The CLASS_INFIX_STRING_LITERAL is for infix string literals. LEXEME_DATA is the parsed string.

1.3.44 CLASS_INFIX_SYMBOL

Class defined at file ‘warmelt-first.melt’, line 259.

5 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_INFIX_LEXEME CLASS_INFIX_ANY_SYMBOL.

3 fields:

class description: The CLASS_INFIX_SYMBOL is for infix symbol occurrences. LEXEME_DATA is the parsed symbol. A symbol starts with a letter, or with an ignored backslash \ to parse special symbols as ordinary ones.

1.3.45 CLASS_INITIAL_GENERATION_CONTEXT

Class defined at file ‘warmelt-first.melt’, line 874.

2 ancestors: CLASS_ROOT CLASS_C_GENERATION_CONTEXT.

13 fields:

class description: The internal CLASS_INITIAL_GENERATION_CONTEXT (for gurus) is used when generating the initial routine of a module, which builds the current environment and evaluates the module toplevel expressions. The IGNCX_PREVENVLOC is the local for the parent environment. The IGNCX_CONTENVLOC is the local for the container of the current module’s environment. The list of routines using it is in IGNCX_PROCURMODENVLIST. The mapping of imported symbolts to locals is IGNCX_IMPORTMAP.

1.3.46 CLASS_INSTANCE_BINDING

Class defined at file ‘warmelt-first.melt’, line 609.

3 ancestors: CLASS_ROOT CLASS_ANY_BINDING CLASS_FIXED_BINDING.

3 fields:

class description: The internal CLASS_INSTANCE_BINDING is for instance bindings. See the DEFINSTANCE macro. The instance’s class is in IBIND_ICLASS.

1.3.47 CLASS_KEYWORD

Class defined at file ‘warmelt-first.melt’, line 341.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED CLASS_SYMBOL.

3 fields:

class description: The CLASS_KEYWORD is the sub-class of keywords, that is symbols starting with a colon, which are handled specially and implicitly quoted. Most ctypes are denoted by such keywords like :long :value etc. The reader parses as keyword any symbol starting with a colon. Keywords are interned inside the INITIAL_SYSTEM_DATA.

1.3.48 CLASS_LABEL_BINDING

Class defined at file ‘warmelt-first.melt’, line 669.

2 ancestors: CLASS_ROOT CLASS_ANY_BINDING.

4 fields:

class description: The internal CLASS_LABEL_BINDING is for labels. See The FOREVER and EXIT macros. The label source location is LABIND_LOC, the cloned symbol unique to the label is LABIND_CLONSY. The local variables for the result is LABIND_RES.

1.3.49 CLASS_LETREC_BINDING

Class defined at file ‘warmelt-first.melt’, line 651.

3 ancestors: CLASS_ROOT CLASS_ANY_BINDING CLASS_LET_BINDING.

4 fields:

class description: The internal CLASS_LETREC_BINDING is for internal letrec bindings. See the LETREC macro. The bound expression should be recursively constructible (like LAMBDA TUPLE LIST INSTANCE ...)

1.3.50 CLASS_LET_BINDING

Class defined at file ‘warmelt-first.melt’, line 638.

2 ancestors: CLASS_ROOT CLASS_ANY_BINDING.

4 fields:

2 sub-classes: CLASS_LETREC_BINDING, CLASS_NORMAL_LET_BINDING.

class description: The internal CLASS_LET_BINDING is for internal let bindings. See The LET macro and also the CLASS_NORMAL_LET_BINDING. The c-type of the bound valus is LETBIND_TYPE, the expression is LETBIND_EXPR, the source location if any is LEBIND_LOC.

1.3.51 CLASS_LOCATED

Class defined at file ‘warmelt-first.melt’, line 200.

2 ancestors: CLASS_ROOT CLASS_PROPED.

2 fields:

100 sub-classes: CLASS_INFIX_ADDITIVE_SYMBOL, CLASS_INFIX_ANY_SYMBOL, CLASS_INFIX_DELIMITER, CLASS_INFIX_INTEGER_LITERAL, CLASS_INFIX_KEYWORD, CLASS_INFIX_LEXEME, CLASS_INFIX_MULTIPLICATIVE_SYMBOL, CLASS_INFIX_RELATIONAL_SYMBOL, CLASS_INFIX_STRING_LITERAL, CLASS_INFIX_SYMBOL, CLASS_MATCH_FLAG, CLASS_MATCH_STEP, CLASS_MATCH_STEP_CLEAR, CLASS_MATCH_STEP_FLAG_CONJONCTION, CLASS_MATCH_STEP_FLAG_DISJONCTION, CLASS_MATCH_STEP_FLAG_OPERATION, CLASS_MATCH_STEP_FLAG_SET, CLASS_MATCH_STEP_SUCCESS_WHEN_FLAG, CLASS_MATCH_STEP_TEST, CLASS_MATCH_STEP_TEST_GROUP, CLASS_MATCH_STEP_TEST_INSTANCE, CLASS_MATCH_STEP_TEST_MATCHER, CLASS_MATCH_STEP_TEST_VARIABLE, CLASS_MATCH_STEP_THEN, CLASS_MATCH_STEP_WITH_DATA, CLASS_MATCH_STEP_WITH_FLAG, CLASS_SEXPR, CLASS_SEXPR_MACROSTRING, CLASS_SOURCE, CLASS_SOURCE_APPLY, CLASS_SOURCE_ARGUMENTED_OPERATOR, CLASS_SOURCE_CITERATION, CLASS_SOURCE_CMATCHEXPR, CLASS_SOURCE_COMMENT, CLASS_SOURCE_CPPIF, CLASS_SOURCE_DEFCITERATOR, CLASS_SOURCE_DEFCLASS, CLASS_SOURCE_DEFCMATCHER, CLASS_SOURCE_DEFINE, CLASS_SOURCE_DEFINITION, CLASS_SOURCE_DEFINITION_FORMAL, CLASS_SOURCE_DEFINSTANCE, CLASS_SOURCE_DEFOBJCOMMON, CLASS_SOURCE_DEFPRIMITIVE, CLASS_SOURCE_DEFSELECTOR, CLASS_SOURCE_DEFUN, CLASS_SOURCE_DEFUNMATCHER, CLASS_SOURCE_EXIT, CLASS_SOURCE_EXPORTCOMMON, CLASS_SOURCE_EXPORT_CLASS, CLASS_SOURCE_EXPORT_MACRO, CLASS_SOURCE_EXPORT_PATMACRO, CLASS_SOURCE_EXPORT_SYNONYM, CLASS_SOURCE_EXPORT_VALUES, CLASS_SOURCE_FIELDASSIGN, CLASS_SOURCE_FIELD_PATTERN, CLASS_SOURCE_FOREVER, CLASS_SOURCE_FUNMATCHEXPR, CLASS_SOURCE_GET_FIELD, CLASS_SOURCE_IF, CLASS_SOURCE_IFELSE, CLASS_SOURCE_INSTANCE, CLASS_SOURCE_LABELLED, CLASS_SOURCE_LAMBDA, CLASS_SOURCE_LAZY_MACRO_EXPANSION, CLASS_SOURCE_LET, CLASS_SOURCE_LETREC, CLASS_SOURCE_LETREC_BINDING, CLASS_SOURCE_LET_BINDING, CLASS_SOURCE_LIST, CLASS_SOURCE_MATCH, CLASS_SOURCE_MATCH_CASE, CLASS_SOURCE_MSEND, CLASS_SOURCE_MULTICALL, CLASS_SOURCE_OR, CLASS_SOURCE_PATTERN, CLASS_SOURCE_PATTERN_AND, CLASS_SOURCE_PATTERN_COMPOSITE, CLASS_SOURCE_PATTERN_CONSTANT, CLASS_SOURCE_PATTERN_CONSTRUCT, CLASS_SOURCE_PATTERN_C_MATCH, CLASS_SOURCE_PATTERN_FUN_MATCH, CLASS_SOURCE_PATTERN_INSTANCE, CLASS_SOURCE_PATTERN_JOKER_VARIABLE, CLASS_SOURCE_PATTERN_LIST, CLASS_SOURCE_PATTERN_MATCHER, CLASS_SOURCE_PATTERN_OBJECT, CLASS_SOURCE_PATTERN_OR, CLASS_SOURCE_PATTERN_TUPLE, CLASS_SOURCE_PATTERN_VARIABLE, CLASS_SOURCE_PATTERN_WHEN, CLASS_SOURCE_PRIMITIVE, CLASS_SOURCE_PROGN, CLASS_SOURCE_PUT_FIELDS, CLASS_SOURCE_QUOTE, CLASS_SOURCE_RETURN, CLASS_SOURCE_SETQ, CLASS_SOURCE_TUPLE, CLASS_SOURCE_UNSAFE_GET_FIELD, CLASS_SOURCE_UNSAFE_PUT_FIELDS.

class description: The CLASS_LOCATED is the super-class for located stuff, having a source file location given by the LOCA_LOCATION field, conventionally a mixed location box with DISCR_MIXED_LOCATION.

1.3.52 CLASS_MACRO_BINDING

Class defined at file ‘warmelt-first.melt’, line 502.

3 ancestors: CLASS_ROOT CLASS_ANY_BINDING CLASS_EXPORTED_BINDING.

2 fields:

1 sub-classes: CLASS_PATMACRO_BINDING.

class description: The CLASS_MACRO_BINDING is the class of exported macro bindings. See the EXPORT_MACRO macro.

1.3.53 CLASS_MATCHED_BINDING

Class defined at file ‘warmelt-normatch.melt’, line 2448.

2 ancestors: CLASS_ROOT CLASS_ANY_BINDING.

3 fields:

class description: The CLASS_MATCHED_BINDING is a binding for matched pattern variables. Field MATCHBIND_DATA gives the matched data, and field MATCHBIND_NBOCC is the number of occurrences.

1.3.54 CLASS_MATCHED_DATA

Class defined at file ‘warmelt-normatch.melt’, line 2427.

2 ancestors: CLASS_ROOT CLASS_PROPED.

5 fields:

1 sub-classes: CLASS_MATCHED_NORMAL_DATA.

class description: The CLASS_MATCHED_DATA describes some matched data. Field MDATA_SYMB gives the symbol, MDATA_CTYPE gives the ctype. MDATA_ORIG is the origin step or data. MDATA_STEPS is the list of match steps, lazily transformed into a tuple when all steps have been made.

1.3.55 CLASS_MATCHED_NORMAL_DATA

Class defined at file ‘warmelt-normatch.melt’, line 2442.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_MATCHED_DATA.

5 fields:

class description: The CLASS_MATCHED_NORMAL_DATA is a sub-class for the initially matched normal data. The MDATA_ORIG field is the normal matched thing.

1.3.56 CLASS_MATCHING_CONTEXT

Class defined at file ‘warmelt-normatch.melt’, line 2391.

1 ancestors: CLASS_ROOT.

10 fields:

class description: The CLASS_MATCHING_CONTEXT is a context for normalization of pattern matching. MCTX_NORMCTXT is the normalization context. MCTX_SOURCE is the source matching expression. MCTX_NMATCHED is the normal matched expression. MCTX_NMATBIND the corresponding bindings. MCTX_CASES is the tuple of cases each of CLASS_MATCH_CASE. MCTX_ENV is the environment of the match. MCTX_MDATA is the initial matched data of CLASS_MATCHED_DATA. MCTX_VARHANDLERS is the list of pattern variable handlers. MCTX_FLAGS is the list of match flags. MCTX_ENDLABEL may hold the ending label.

1.3.57 CLASS_MATCH_CASE

Class defined at file ‘warmelt-normatch.melt’, line 2415.

2 ancestors: CLASS_ROOT CLASS_PROPED.

5 fields:

class description: The CLASS_MATCH_CASE describes a case match. Field MCASE_MCTXT is the matching context. MCASE_SOURCE is the source case, MCASE_INDEX is the boxed integer rank. MCASE_VARMAP is an objectmap from symbols to the list of their pattern variables.

1.3.58 CLASS_MATCH_FLAG

Class defined at file ‘warmelt-normatch.melt’, line 2482.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED.

6 fields:

class description: The CLASS_MATCH_FLAG describes a flag related to a source pattern. The MFLAG_SPAT is the source pattern, and the MFLAG_RANK is a unique boxed integer rank, MFLAG_STRING gives a small descriptive string, The MFLAG_SETSTEP is the match step setting that flag, or else null. Match flags are initially cleared.

1.3.59 CLASS_MATCH_GRAPHIC

Class defined at file ‘warmelt-normatch.melt’, line 1731.

2 ancestors: CLASS_ROOT CLASS_PROPED.

6 fields:

class description: CLASS_MATCH_GRAPHIC is a private class to generate graphviz .dot graphics files to debug the MELT translation of matching. Don’t use it yourself.

1.3.60 CLASS_MATCH_NORMALIZATION_CONTEXT

Class defined at file ‘warmelt-normatch.melt’, line 4519.

1 ancestors: CLASS_ROOT.

10 fields:

class description: The CLASS_MATCH_NORMALIZATION_CONTEXT is agreggating data for normalization of a graph of match steps, indirect instances of CLASS_MATCH_STEP. Field MATNORX_RESLOC gives the instance of CLASS_NREP_LOCSYMOCC for the result of the match. MATNORX_NMATCH gives the partially built normal representation, instance of CLASS_NREP_ALTMATCH, of the match. Field MATNORX_FLAGMAP is the read-mostly map associating match flags to normalized flags. Field MATNORX_STEPMAP is the read-mostly map associating match steps to labels of CLASS_NREP_MATCH_LABEL. Field MATNORX_MDATAMAP is the read-mostly map associating match datas to their normalization. MATNORX_MDATAQUEUE is the read-mostly queue list of match datas to process. MATNORX_MSTEPQUEUE is the read-mostly queue list of match steps, with already an associated label, to process. MATNORX_BODYLIST is the incomplete list of the match body. MATNORX_ENDLABEL is the ending label. MATNORX_MATCHCTXT gives the matching context of CLASS_MATCHING_CONTEXT.

1.3.61 CLASS_MATCH_STEP

Class defined at file ‘warmelt-normatch.melt’, line 2498.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED.

2 fields:

14 sub-classes: CLASS_MATCH_STEP_CLEAR, CLASS_MATCH_STEP_FLAG_CONJONCTION, CLASS_MATCH_STEP_FLAG_DISJONCTION, CLASS_MATCH_STEP_FLAG_OPERATION, CLASS_MATCH_STEP_FLAG_SET, CLASS_MATCH_STEP_SUCCESS_WHEN_FLAG, CLASS_MATCH_STEP_TEST, CLASS_MATCH_STEP_TEST_GROUP, CLASS_MATCH_STEP_TEST_INSTANCE, CLASS_MATCH_STEP_TEST_MATCHER, CLASS_MATCH_STEP_TEST_VARIABLE, CLASS_MATCH_STEP_THEN, CLASS_MATCH_STEP_WITH_DATA, CLASS_MATCH_STEP_WITH_FLAG.

class description: The CLASS_MATCH_STEP super-class describes an elementary step of pattern matching, like tests, success, flag settings, etc...

1.3.62 CLASS_MATCH_STEP_CLEAR

Class defined at file ‘warmelt-normatch.melt’, line 2511.

5 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN.

4 fields:

class description: The CLASS_MATCH_STEP_CLEAR is a step to clear the MSTEP_CLEARDATA tuple of matched data.

1.3.63 CLASS_MATCH_STEP_FLAG_CONJONCTION

Class defined at file ‘warmelt-normatch.melt’, line 2545.

7 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN CLASS_MATCH_STEP_WITH_FLAG CLASS_MATCH_STEP_FLAG_OPERATION.

5 fields:

class description: The CLASS_MATCH_STEP_FLAG_CONJONCTION sets the match flag MSTEP_FLAG to the conjonction of MSTEP_FLAGARGS, which is a tuple of match flags.

1.3.64 CLASS_MATCH_STEP_FLAG_DISJONCTION

Class defined at file ‘warmelt-normatch.melt’, line 2552.

7 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN CLASS_MATCH_STEP_WITH_FLAG CLASS_MATCH_STEP_FLAG_OPERATION.

5 fields:

class description: The CLASS_MATCH_STEP_FLAG_DISJONCTION sets the match flag MSTEP_FLAG to the disjonction of MSTEP_FLAGARGS, which is a tuple of match flags.

1.3.65 CLASS_MATCH_STEP_FLAG_OPERATION

Class defined at file ‘warmelt-normatch.melt’, line 2540.

6 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN CLASS_MATCH_STEP_WITH_FLAG.

5 fields:

2 sub-classes: CLASS_MATCH_STEP_FLAG_CONJONCTION, CLASS_MATCH_STEP_FLAG_DISJONCTION.

class description: The CLASS_MATCH_STEP_FLAG_OPERATION sets the match flag according to flag arguments from the MSTEP_FLAGARGS tuple.

1.3.66 CLASS_MATCH_STEP_FLAG_SET

Class defined at file ‘warmelt-normatch.melt’, line 2534.

6 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN CLASS_MATCH_STEP_WITH_FLAG.

4 fields:

class description: The CLASS_MATCH_STEP_FLAG_SET sets to true a match flag MSTEP_FLAG.

1.3.67 CLASS_MATCH_STEP_SUCCESS_WHEN_FLAG

Class defined at file ‘warmelt-normatch.melt’, line 2560.

6 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN CLASS_MATCH_STEP_WITH_FLAG.

7 fields:

class description: The CLASS_MATCH_STEP_SUCCESS_WHEN_FLAG step represents the normalized action in a match. MSTEP_FLAG is the flag conditionning the success. MSTEPSUCCESS_VAROCC is the tuple of pattern variable occurrences, MSTEPSUCCESS_BINDS is the list of local binders, and MSTEPSUCCESS_BODY is the normalized body tuple.

1.3.68 CLASS_MATCH_STEP_TEST

Class defined at file ‘warmelt-normatch.melt’, line 2572.

6 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN CLASS_MATCH_STEP_WITH_DATA.

6 fields:

4 sub-classes: CLASS_MATCH_STEP_TEST_GROUP, CLASS_MATCH_STEP_TEST_INSTANCE, CLASS_MATCH_STEP_TEST_MATCHER, CLASS_MATCH_STEP_TEST_VARIABLE.

class description: The CLASS_MATCH_STEP_TEST is the super-class of elementary tests of pattern matching. The inherited MSTEP_THEN is the then branch, the MSTEP_ELSE is the else branch. The inherited MSTEP_DATA is the tested data, and the inherited MSTEP_INDEX is its index.

1.3.69 CLASS_MATCH_STEP_TEST_GROUP

Class defined at file ‘warmelt-normatch.melt’, line 2586.

7 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN CLASS_MATCH_STEP_WITH_DATA CLASS_MATCH_STEP_TEST.

9 fields:

class description: The CLASS_MATCH_STEP_GROUP is used to redirect the then & else tests to a list or tuple of subtests, i.e. to the MSTGROUP_THEN and MSTGROUP_ELSE. The MSTGROUP_START is the starting control point (for then & else edges arriving into the group).

1.3.70 CLASS_MATCH_STEP_TEST_INSTANCE

Class defined at file ‘warmelt-normatch.melt’, line 2597.

7 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN CLASS_MATCH_STEP_WITH_DATA CLASS_MATCH_STEP_TEST.

8 fields:

class description: The CLASS_MATCH_STEP_TEST_INSTANCE is the class for testing instance membership. MSTINS_CLASS is the tested class. MSTINS_SLOTS is the tuple of slot matched data.

1.3.71 CLASS_MATCH_STEP_TEST_MATCHER

Class defined at file ‘warmelt-normatch.melt’, line 2605.

7 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN CLASS_MATCH_STEP_WITH_DATA CLASS_MATCH_STEP_TEST.

10 fields:

class description: The CLASS_MATCH_STEP_TEST_MATCHER is the class for testing with matcher. MSTMA_MATCHER is the matcher, MSTMA_BINDS is the local binding list for inputs, MSTMA_INS is the normalized inputs, MSTMA_OUTS is the tuple of output matched data.

1.3.72 CLASS_MATCH_STEP_TEST_VARIABLE

Class defined at file ‘warmelt-normatch.melt’, line 2580.

7 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN CLASS_MATCH_STEP_WITH_DATA CLASS_MATCH_STEP_TEST.

7 fields:

class description: The CLASS_MATCH_STEP_TEST_VARIABLE is for tests if the data MSTEPTESTVAR_DATA is the same as the matched data.

1.3.73 CLASS_MATCH_STEP_THEN

Class defined at file ‘warmelt-normatch.melt’, line 2504.

4 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP.

3 fields:

13 sub-classes: CLASS_MATCH_STEP_CLEAR, CLASS_MATCH_STEP_FLAG_CONJONCTION, CLASS_MATCH_STEP_FLAG_DISJONCTION, CLASS_MATCH_STEP_FLAG_OPERATION, CLASS_MATCH_STEP_FLAG_SET, CLASS_MATCH_STEP_SUCCESS_WHEN_FLAG, CLASS_MATCH_STEP_TEST, CLASS_MATCH_STEP_TEST_GROUP, CLASS_MATCH_STEP_TEST_INSTANCE, CLASS_MATCH_STEP_TEST_MATCHER, CLASS_MATCH_STEP_TEST_VARIABLE, CLASS_MATCH_STEP_WITH_DATA, CLASS_MATCH_STEP_WITH_FLAG.

class description: The CLASS_MATCH_STEP_THEN super-class is for steps with a then edge MSTEP_THEN.

1.3.74 CLASS_MATCH_STEP_WITH_DATA

Class defined at file ‘warmelt-normatch.melt’, line 2522.

5 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN.

5 fields:

5 sub-classes: CLASS_MATCH_STEP_TEST, CLASS_MATCH_STEP_TEST_GROUP, CLASS_MATCH_STEP_TEST_INSTANCE, CLASS_MATCH_STEP_TEST_MATCHER, CLASS_MATCH_STEP_TEST_VARIABLE.

class description: The CLASS_MATCH_STEP_WITH_DATA super-class is for matching steps handling a data, such as matching tests. The inherited MSTEP_THEN gives the next step. The MSTEP_DATA field is the matched data. The MSTEP_INDEX field is the boxed integer index counting from 1 of this step within its data, it is lazily filled when all steps of the matched data have been made.

1.3.75 CLASS_MATCH_STEP_WITH_FLAG

Class defined at file ‘warmelt-normatch.melt’, line 2516.

5 ancestors: CLASS_ROOT CLASS_PROPED CLASS_LOCATED CLASS_MATCH_STEP CLASS_MATCH_STEP_THEN.

4 fields:

5 sub-classes: CLASS_MATCH_STEP_FLAG_CONJONCTION, CLASS_MATCH_STEP_FLAG_DISJONCTION, CLASS_MATCH_STEP_FLAG_OPERATION, CLASS_MATCH_STEP_FLAG_SET, CLASS_MATCH_STEP_SUCCESS_WHEN_FLAG.

class description: The CLASS_MATCH_STEP_WITH_FLAG super-class is for steps with a match flag MSTEP_FLAG, in particular flag assignments and flagged successes.

1.3.76 CLASS_MELT_MODE

Class defined at file ‘warmelt-first.melt’, line 755.

3 ancestors: CLASS_ROOT CLASS_PROPED CLASS_NAMED.

5 fields:

class description: The CLASS_MELT_MODE describe mode handlers, as given by the -fmelt= or -fplugin-arg-melt-mode= GCC program flag. The MELTMODE_HELP is a help string. The MELTMODE_FUN is the function to run the command, and the MELTMODE_DATA gives additional client data. See the INSTALL_MELT_MODE function.

1.3.77 CLASS_MODULE_CONTEXT

Class defined at file ‘warmelt-first.melt’, line 785.

1 ancestors: CLASS_ROOT.

8 fields:

class description: The internal CLASS_MODULE_CONTEXT describes the whole module context of a translation. MOCX_MODULENAME gives the module name, MOCX_EXPFIELDICT gives the dictionnary of exported fields, MOCX_EXPCLASSDICT gives the dictionnary of exported classes, and MOCX_INITIALENV the initial environment. MOCX_FUNCOUNT is a boxed integer counting the defined functions (excluding LAMBDA-s, counting only DEFUN), used to help generate C code in several files, described in MOCX_FILETUPLE. For gurus!

1.3.78 CLASS_NAMED

Class defined at file ‘warmelt-first.melt’, line 71.

2 ancestors: CLASS_ROOT CLASS_PROPED.

2 fields:

26 sub-classes: CLASS_ANY_MATCHER, CLASS_CITERATOR, CLASS_CLASS, CLASS_CLONED_SYMBOL, CLASS_CMATCHER, CLASS_CTYPE, CLASS_CTYPE_GTY, CLASS_DISCRIMINANT, CLASS_FIELD, CLASS_FUNMATCHER, CLASS_GCC_ANY_IPA_PASS, CLASS_GCC_GIMPLE_PASS, CLASS_GCC_PASS, CLASS_GCC_RTL_PASS, CLASS_GCC_SIMPLE_IPA_PASS, CLASS_GCC_TRANSFORM_IPA_PASS, CLASS_INFIX_DELIMITER, CLASS_INFIX_PARSER, CLASS_KEYWORD, CLASS_MELT_MODE, CLASS_PRIMITIVE, CLASS_SELECTOR, CLASS_SYMBOL, CLASS_SYSTEM_DATA, CLASS_VALUE_DESCRIPTOR, CLASS_VARISIZED_VALUE_DESCRIPTOR.

class description: The CLASS_NAMED is the super-class of every named object. The NAMED_NAME field is conventionally a string.

1.3.79 CLASS_NORMALIZATION_CONTEXT

Class defined at file ‘warmelt-first.melt’, line 807.

1 ancestors: CLASS_ROOT.

15 fields: