parser_util (library)

Author(s): Göran Smedbäck.

• Usage and interface (parser_util)
• Documentation on exports (parser_util)

Usage and interface (parser_util)

Documentation on exports (parser_util)

PREDICATE: at_least_one/4:

No further documentation available for this predicate.

PREDICATE: at_least_one/5:

No further documentation available for this predicate.

PREDICATE: fillout/4:

No further documentation available for this predicate.

PREDICATE: fillout/5:

No further documentation available for this predicate.

PREDICATE: create_node/3:

Usage: create_node(+NodeTypeId, +Parse, -Node)

• Description: The predicate will construct a node term with the read guts which is inside the parse structure. A node consists of its name and one argument, a list of its fields.
• Call and exit should be compatible with: +NodeTypeId is an atom. (basic_props:atm/1) +Parse is a parse structure. (internal_types:parse/1) -Node is any term. (basic_props:term/1)

PREDICATE: create_field/3:

Usage: create_field(+FieldNameId, +Arguments, -Field)

• Description: The predicate will construct a field with the Id as the fieldname and the arguments as they are, in a double list, which results in a single list or a single list which will result in free arguments.
• Call and exit should be compatible with: +FieldNameId is an atom. (basic_props:atm/1) +Arguments is any term. (basic_props:term/1) -Field is any term. (basic_props:term/1)

PREDICATE: create_field/4:

Usage: create_field(+FieldAccess, +FieldType, +FieldId, -Field)

• Description: The predicate will construct a field with its access type as the name with type and id as arguments.
• Call and exit should be compatible with: +FieldAccess is an atom. (basic_props:atm/1) +FieldType is an atom. (basic_props:atm/1) +FieldId is an atom. (basic_props:atm/1) -Field is any term. (basic_props:term/1)

PREDICATE: create_field/5:

Usage: create_field(+FieldAccess, +FieldType, +FieldId, +Fieldvalue, -Field)

• Description: The predicate will construct a field with its access type as the name with type, id and value as arguments.
• Call and exit should be compatible with: +FieldAccess is an atom. (basic_props:atm/1) +FieldType is an atom. (basic_props:atm/1) +FieldId is an atom. (basic_props:atm/1) +Fieldvalue is any term. (basic_props:term/1) -Field is any term. (basic_props:term/1)

PREDICATE: create_directed_field/5:

Usage: create_directed_field(+Access, +Type, +Id0, +Id1, -Field)

• Description: The predicate will construct a directed field with the key word IS in the middle. Its access type as the name with type, from id0 and to id1 as arguments.
• Call and exit should be compatible with: +Access is an atom. (basic_props:atm/1) +Type is an atom. (basic_props:atm/1) +Id0 is an atom. (basic_props:atm/1) +Id1 is an atom. (basic_props:atm/1) -Field is any term. (basic_props:term/1)

PREDICATE: correct_commenting/4:

Usage: correct_commenting(+Place, +Comment, +ParsedIn, -ParsedOut)

• Description: The predicate places the comment 'before' or 'after' the parsed term. This results in a list with the term and the comment or in just returning the term.
• Call and exit should be compatible with: +Place is an atom. (basic_props:atm/1) +Comment is a compound term. (basic_props:struct/1) +ParsedIn is any term. (basic_props:term/1) -ParsedOut is any term. (basic_props:term/1)

PREDICATE: create_parse_structure/1:

Usage: create_parse_structure(-Parse)

• Description: The predicate will construct the parse structure with its three fields: the parsing list, the environment structure, and the dictionaries.
• Call and exit should be compatible with: -Parse is a parse structure. (internal_types:parse/1)

PREDICATE: create_parse_structure/2:

Usage 1: create_parse_structure(+ParseIn, -ParseOut)

• Description: The predicate will construct a parse structure with its three fields: the parsing list, the environment structure, and the dictionaries. It will reuse the environment and the dictionaries from the input.
• Call and exit should be compatible with: +ParseIn is a parse structure. (internal_types:parse/1) -ParseOut is a parse structure. (internal_types:parse/1)

Usage 2: create_parse_structure(+ParsedList, -ParseOut)

• Description: The predicate will construct a parse structure with its three fields: the parsing list, the environment structure, and the dictionaries. It will use the list of parsed items in its structure.
• Call and exit should be compatible with: +ParsedList is a list of terms. (basic_props:list/2) -ParseOut is a parse structure. (internal_types:parse/1)

PREDICATE: create_parse_structure/3:

Usage: create_parse_structure(+ParsedList, +ParseIn, -ParseOut)

• Description: The predicate will construct a parse structure with its three fields: the parsing list, the environment structure, and the dictionaries. It will use the list of parsed items in its structure and the environment and the dictionary from the parse structure given.
• Call and exit should be compatible with: +ParsedList is a list of terms. (basic_props:list/2) +ParseIn is a parse structure. (internal_types:parse/1) -ParseOut is a parse structure. (internal_types:parse/1)

PREDICATE: create_environment/4:

Usage: create_environment(+Parse, +EnvType, +Name, -EnvStruct)

• Description: The predicate will construct an environment structure based on the information in the parse structure. Well only the white- space information will be reused. The are three types of environments 'PROTO', 'EXTERNPROTO', and 'DEF'.
• Call and exit should be compatible with: +Parse is a parse structure. (internal_types:parse/1) +EnvType is an atom. (basic_props:atm/1) +Name is an atom. (basic_props:atm/1) -EnvStruct is an environment structure. (internal_types:environment/1)

PREDICATE: insert_comments_in_beginning/3:

Usage: insert_comments_in_beginning(+Comment, +ParseIn, -ParseOut)

• Description: We add the comment in the beginneing of the parsed, to get the proper look.
• Call and exit should be compatible with: +Comment is a compound term. (basic_props:struct/1) +ParseIn is a parse structure. (internal_types:parse/1) -ParseOut is a parse structure. (internal_types:parse/1)

PREDICATE: get_environment_name/2:

Usage: get_environment_name(+Environment, -Name)

• Description: The predicate will return the enviroment name.
• Call and exit should be compatible with: +Environment is an environment structure. (internal_types:environment/1) -Name is an atom. (basic_props:atm/1)

PREDICATE: get_environment_type/2:

Usage: get_environment_type(+Environment, -Type)

• Description: The predicate will return the enviroment type, one of the three: 'PROTO', 'EXTERNPROTO', and 'DEF'.
• Call and exit should be compatible with: +Environment is an environment structure. (internal_types:environment/1) -Type is an atom. (basic_props:atm/1)

PREDICATE: get_row_number/2:

Usage: get_row_number(+Parse, -Row)

• Description: The predicate will return the row number from the parse structure. The row number is not fully implemented.
• Call and exit should be compatible with: +Parse is a parse structure. (internal_types:parse/1) -Row is a number. (basic_props:num/1)

PREDICATE: add_environment_whitespace/3:

Usage: add_environment_whitespace(+EnvIn, +WhiteSpaceList, -EnvOut)

• Description: The predicate will add the new whitespace that is collected in a list of whitespaces to the environment.
• Call and exit should be compatible with: +EnvIn is an environment structure. (internal_types:environment/1) +WhiteSpaceList is a list of atms. (basic_props:list/2) -EnvOut is an environment structure. (internal_types:environment/1)

PREDICATE: get_indentation/2:

Usage 1: get_indentation(+Whitespace, -Indentation)

• Description: The predicate will return the indentation depth from a whitespace structure.
• Call and exit should be compatible with: +Whitespace is a whitespace structure. (internal_types:whitespace/1) -Indentation is a number. (basic_props:num/1)

Usage 2: get_indentation(+Parse, -Indentation)

• Description: The predicate will return the indentation depth from a parse structure.
• Call and exit should be compatible with: +Parse is a parse structure. (internal_types:parse/1) -Indentation is a number. (basic_props:num/1)

PREDICATE: inc_indentation/2:

Usage: inc_indentation(+ParseIn, -ParseOut)

• Description: Will increase the indentation with one step to a parse structure.
• Call and exit should be compatible with: +ParseIn is a parse structure. (internal_types:parse/1) -ParseOut is a parse structure. (internal_types:parse/1)

PREDICATE: dec_indentation/2:

Usage: dec_indentation(+ParseIn, -ParseOut)

• Description: Will decrease the indentation with one step to a parse structure.
• Call and exit should be compatible with: +ParseIn is a parse structure. (internal_types:parse/1) -ParseOut is a parse structure. (internal_types:parse/1)

PREDICATE: add_indentation/3:

No further documentation available for this predicate.

PREDICATE: reduce_indentation/3:

No further documentation available for this predicate.

PREDICATE: push_whitespace/3:

Usage: push_whitespace(+ParseWithWhitespace, +ParseIn, -ParseOut)

• Description: The predicate will add the whitespace values from one parse structure to another one, resultin in the output, with the values from the second parse structure with the whitespace from the first added.
• Call and exit should be compatible with: +ParseWithWhitespace is a parse structure. (internal_types:parse/1) +ParseIn is a parse structure. (internal_types:parse/1) -ParseOut is a parse structure. (internal_types:parse/1)

PREDICATE: push_dictionaries/3:

Usage: push_dictionaries(+Parse, +Parse, -Parse)

• Description: The predicate will set the first parse structure's directory to the second parsing structure argument. The resulting parsing structure will be returned.
• Call and exit should be compatible with: +Parse is a parse structure. (internal_types:parse/1) +Parse is a parse structure. (internal_types:parse/1) -Parse is a parse structure. (internal_types:parse/1)

PREDICATE: get_parsed/2:

Usage 1: get_parsed(+ParseStructure, -ListOfParsed)

• Description: The predicate will return a list of the parsed terms that is inside the parse structure.
• Call and exit should be compatible with: +ParseStructure is a parse structure. (internal_types:parse/1) -ListOfParsed is a list of terms. (basic_props:list/2)

Usage 2: get_parsed(+ParseStructure, -EnvironmentStructure)

• Description: The predicate will return the environment of the parse structure.
• Call and exit should be compatible with: +ParseStructure is a parse structure. (internal_types:parse/1) -EnvironmentStructure is an environment structure. (internal_types:environment/1)

Usage 3: get_parsed(+ParseStructure, -Dictionaries)

• Description: The predicate will return dictionary used within the parse structure.
• Call and exit should be compatible with: +ParseStructure is a parse structure. (internal_types:parse/1) -Dictionaries is a dictionary. (internal_types:dictionary/1)

PREDICATE: get_environment/2:

No further documentation available for this predicate.

PREDICATE: inside_proto/1:

Usage: inside_proto(+Parse)

• Description: The predicate will answer to the question: are we parsing inside a PROTO/EXTERNPROTO.
• Call and exit should be compatible with: +Parse is a parse structure. (internal_types:parse/1)

PREDICATE: get_dictionaries/2:

No further documentation available for this predicate.

PREDICATE: strip_from_list/2:

Usage: strip_from_list(+ListWithComments, -CleanList)

• Description: The predicate will strip the list from comments and return a list without any comments.
• Call and exit should be compatible with: +ListWithComments is a list of terms. (basic_props:list/2) -CleanList is a list of terms. (basic_props:list/2)

PREDICATE: strip_from_term/2:

Usage: strip_from_term(+Term, -Stripped)

• Description: The predicate will remove comments from a term, it will reduce its arguments if there are comments as arguments.
• Call and exit should be compatible with: +Term is any term. (basic_props:term/1) -Stripped is any term. (basic_props:term/1)

PREDICATE: strip_clean/2:

Usage: strip_clean(+ParsedIn, -ParsedOut)

• Description: The predicate will return a striped list or a single atom if there was no comments and no more items in the list. It will also return a atom if there is comments and only one other element.
• Call and exit should be compatible with: +ParsedIn is any term. (basic_props:term/1) -ParsedOut is any term. (basic_props:term/1)

PREDICATE: strip_exposed/2:

No further documentation available for this predicate.

PREDICATE: strip_restricted/2:

No further documentation available for this predicate.

PREDICATE: strip_interface/2:

Usage: strip_interface(+Interface, -StrippedInterface)

• Description: The predicate will remove comments from the interface that we read for the PROTOtype. This will help us when setting the properties.
• Call and exit should be compatible with: +Interface is a list of terms. (basic_props:list/2) -StrippedInterface is a list of terms. (basic_props:list/2)

PREDICATE: set_parsed/3:

Usage: set_parsed(+ParseIn, +NewParseList, -ParseOut)

• Description: The predicate will create a new parse structure from the first parse structure with the parse list from the second argument.
• Call and exit should be compatible with: +ParseIn is a parse structure. (internal_types:parse/1) +NewParseList is a list of terms. (basic_props:list/2) -ParseOut is a parse structure. (internal_types:parse/1)

PREDICATE: set_environment/3:

Usage: set_environment(+Environment, +ParseIn, -ParseOut)

• Description: The modificator will return a parse structure with the environment given with the other properties from the first parse structure.
• Call and exit should be compatible with: +Environment is an environment structure. (internal_types:environment/1) +ParseIn is a parse structure. (internal_types:parse/1) -ParseOut is a parse structure. (internal_types:parse/1)

PREDICATE: insert_parsed/3:

No further documentation available for this predicate.

PREDICATE: reverse_parsed/2:

No further documentation available for this predicate.

PREDICATE: stop_parse/2:

Usage: stop_parse(+TermIn, -TermOut)

• Description: The predicate will bind the invalue to the outvalue, used to terminate a parsing.
• Call and exit should be compatible with: +TermIn is any term. (basic_props:term/1) -TermOut is any term. (basic_props:term/1)

PREDICATE: look_first_parsed/2:

Usage: look_first_parsed(+Parse, -First)

• Description: Look at the first item in the parse structure.
• Call and exit should be compatible with: +Parse is a parse structure. (internal_types:parse/1) -First is any term. (basic_props:term/1)

PREDICATE: get_first_parsed/3:

Usage: get_first_parsed(+ParseIn, -ParseOut, -First)

• Description: Get the first item in the parse structure and return the parse structure with the item removed.
• Call and exit should be compatible with: +ParseIn is a parse structure. (internal_types:parse/1) -ParseOut is a parse structure. (internal_types:parse/1) -First is any term. (basic_props:term/1)

PREDICATE: remove_code/3:

No further documentation available for this predicate.

PREDICATE: look_ahead/3:

Usage: look_ahead(+Name, +Parsed, -Parsed)

• Description: This predicate is used normally by the CDG and the two last arguments will therefore be the same because we don't remove the parsed. The name is the name inside a term, the first argument.
• Call and exit should be compatible with: +Name is an atom. (basic_props:atm/1) +Parsed is a list of terms. (basic_props:list/2) -Parsed is a list of terms. (basic_props:list/2)

Go to the first, previous, next, last section, table of contents.