General Information
Tutorials
Reference Manuals
Libraries
Translation Tasks
Tools
Administration
Questions, Comments, ....
|
 |
Syntactic Analysis


$
- $ modification
- Conflict resolution by ignoring possible structures
&
- & marker for actions
- Carrying Out Actions During Parsing
.
- `.con' file format
- Grammars for the Specification Files
- `.con' file, example
- Mapping expressions for overload resolution
- `.con' file, purpose
- How to describe a context-free grammar
- `.map' file, example
- Mapping expressions for overload resolution
- `.map' file, format
- Grammars for the Specification Files
- `.perr' file, format
- Grammars for the Specification Files
@
- @ modification
- Conflict resolution by ignoring possible structures
A
- abstract data type
- Carrying Out Actions During Parsing
- abstracting from literals
- Abstracting information from literals
- accepting a basic symbol
- How the generated parser determines phrase structure
- actions during parsing
- Carrying Out Actions During Parsing
- alternation
- Using extended BNF to describe more complex rules
- ambiguity
- How to Resolve Parsing Conflicts
- ambiguity resolved by grammar changes
- Conflict resolution by changing the grammar
- ambiguity resolved by modifications
- Conflict resolution by ignoring possible structures
- arbitrary actions during parsing
- Carrying Out Actions During Parsing
- association rules
- Operator associativity
- axiom
- Context-Free Grammars and Parsing
- axiom, recognition of
- How the generated parser determines phrase structure
B
- Backus Naur Form
- How to describe a context-free grammar
- basic symbol
-
- basic symbol, how parser accepts
- How the generated parser determines phrase structure
- BNF
- How to describe a context-free grammar
C
- C code
- Carrying Out Actions During Parsing
- chain rules
- Chain rule definitions
- coercions
- Chain rule definitions
- `con' file format
- Grammars for the Specification Files
- `con' file, example
- Mapping expressions for overload resolution
- `con' file, purpose
- How to describe a context-free grammar
- conflict
- How to Resolve Parsing Conflicts
- conflict due to user-defined actions
- Carrying Out Actions During Parsing
- conflict solved by $ modification
- Conflict resolution by ignoring possible structures
- conflict solved by @ modification
- Conflict resolution by ignoring possible structures
- context-free grammar
- Context-Free Grammars and Parsing
D
- dangling else problem
- How the generated parser determines phrase structure
- dangling else solved by $ modification
- Conflict resolution by ignoring possible structures
- dangling else solved by grammar change
- Conflict resolution by changing the grammar
- declarations, scope issues
- Scope rules for declarations
- derivation
- Context-Free Grammars and Parsing
- dfltrepar.c
- Improving Error Recovery in the Generated Parser
- dyadic operator
- Mapping expressions for overload resolution
E
- empty input text, representation of
- Conflict resolution by ignoring possible structures
-
EOF
- Conflict resolution by ignoring possible structures
- error reported in a modification
- Conflict resolution by ignoring possible structures
- error reports during parsing
- Context-Free Grammars and Parsing
- exact right context
- Conflict resolution by ignoring possible structures
- example of a reduce-reduce conflict
- How the generated parser determines phrase structure
- example of a shift-reduce conflict
- How the generated parser determines phrase structure
- example of a type-`con' file
- Mapping expressions for overload resolution
- example of a type-`map' file
- Mapping expressions for overload resolution
- example of user-defined actions
- Carrying Out Actions During Parsing
F
- file formats
- Grammars for the Specification Files
- finite-state machine
- How the generated parser determines phrase structure
G
- grammar
- Context-Free Grammars and Parsing
- grammar changes to resolve ambiguity
- Conflict resolution by changing the grammar
H
- halt of the parser
- How the generated parser determines phrase structure
I
- Idem and literal chain rules
- Complete generated concrete and abstract syntaxes
- identifier declarations, scope issues
- Scope rules for declarations
- identifier, form of
- How to describe a context-free grammar
- interior node
-
L
- leaf node
-
- left-associative
- Operator associativity
- lexical analyzer
- How to describe a context-free grammar
- list separators
- Improving Error Recovery in the Generated Parser
- literal chain rules
- Chain rule definitions
- literal chain rules and Idem
- Complete generated concrete and abstract syntaxes
- literal chain rules, preserving
- Complete generated concrete and abstract syntaxes
- Preserving literal chain rules
- literal, form of
- How to describe a context-free grammar
- literals, abstraction from
- Abstracting information from literals
M
- `map' file, example
- Mapping expressions for overload resolution
- `map' file, format
- Grammars for the Specification Files
- MAPCHAINS keyword
- Complete generated concrete and abstract syntaxes
- Preserving literal chain rules
- Maptool
-
- meaning of a construct
- Using structure to convey meaning
- modification specification
- Conflict resolution by ignoring possible structures
- modifications to resolve ambiguity
- Conflict resolution by ignoring possible structures
- monadic operator
- Mapping expressions for overload resolution
- move by the parser
- How the generated parser determines phrase structure
- move determined by input symbol
- How the generated parser determines phrase structure
N
- node
-
- non-associative
- Operator associativity
- nonterminal symbols in a grammar
- How to describe a context-free grammar
O
- operator association
- Operator associativity
- operator precedence
- Operator precedence
- overload resolution
- Mapping expressions for overload resolution
P
- parser actions
- Carrying Out Actions During Parsing
- parser construction
- Conflict resolution by ignoring possible structures
- parser error reports
- Context-Free Grammars and Parsing
- parser move determined by input symbol
- How the generated parser determines phrase structure
- parser operation
- How the generated parser determines phrase structure
- parsing routine
- Context-Free Grammars and Parsing
- `perr' file, format
- Grammars for the Specification Files
- phrase
-
- phrase structure
- Context-Free Grammars and Parsing
- precedence rules
- Operator precedence
- preserving literal chain rules
- Complete generated concrete and abstract syntaxes
- Preserving literal chain rules
- procedure declaration, scope issues
- Scope rules for declarations
- production
- Context-Free Grammars and Parsing
- progress in recognizing a phrase
- How the generated parser determines phrase structure
R
- reduce move by the parser
- How the generated parser determines phrase structure
- reduce-reduce conflict
- How the generated parser determines phrase structure
- reduce-reduce solved by @ modification
- Conflict resolution by ignoring possible structures
- repairing syntactic errors
- Context-Free Grammars and Parsing
- Reparatur
- Improving Error Recovery in the Generated Parser
- reported error in a modification
- Conflict resolution by ignoring possible structures
- reports of syntactic errors
- Context-Free Grammars and Parsing
- resolving ambiguity by grammar changes
- Conflict resolution by changing the grammar
- resolving ambiguity by modifications
- Conflict resolution by ignoring possible structures
- resolving ambiguity, general methods
- How to Resolve Parsing Conflicts
- resolving overloading
- Mapping expressions for overload resolution
- restart point
- Improving Error Recovery in the Generated Parser
- reuse of computations
- Abstracting information from literals
- right-associative
- Operator associativity
- root
-
- rules, association
- Operator associativity
- rules, precedence
- Operator precedence
S
- scope
- Scope rules for declarations
- semantic brackets
- Improving Error Recovery in the Generated Parser
- semantic delimiters
- Improving Error Recovery in the Generated Parser
- semantic disambiguation
- Matching remaining rules
- sentence
-
- sentence symbol
- Context-Free Grammars and Parsing
- sequence
- Context-Free Grammars and Parsing
- shift move by the parser
- How the generated parser determines phrase structure
- shift-reduce conflict
- How the generated parser determines phrase structure
- shift-reduce solved by $ modification
- Conflict resolution by ignoring possible structures
- stack of parser states
- How the generated parser determines phrase structure
- state of the parser
- How the generated parser determines phrase structure
- syntactic error reports during parsing
- Context-Free Grammars and Parsing
T
- terminal
EOF to terminate text
- Conflict resolution by ignoring possible structures
- terminal symbols in a grammar
- How to describe a context-free grammar
- terminal, use in a modification
- Conflict resolution by ignoring possible structures
- tree computations
- The Relationship Between Phrases and Tree Nodes
- trivial chain rules
- Chain rule definitions
- type-`con' file format
- Grammars for the Specification Files
- type-`con' file, example
- Mapping expressions for overload resolution
- type-`con' file, purpose
- How to describe a context-free grammar
- type-`map' file, example
- Mapping expressions for overload resolution
- type-`map' file, format
- Grammars for the Specification Files
- type-`perr' file, format
- Grammars for the Specification Files
U
- user-defined actions during parsing
- Carrying Out Actions During Parsing


|