Grammar

Description

Type class for context-free grammars.

Synopsis

Documentation

Classification of nodes for feature traces and presence condition. (See Section 3.1 in the paper.)

Constructors

Instances details

Eq NodeType Source #
Instance details Defined in Grammar Methods (==) :: NodeType -> NodeType -> Bool (/=) :: NodeType -> NodeType -> Bool
Show NodeType Source #
Instance details Defined in Grammar Methods showsPrec :: Int -> NodeType -> ShowS show :: NodeType -> String showList :: [NodeType] -> ShowS

class Show g => Grammar g where Source #

Type class for context-free grammars.

Methods

Tells for each grammar symbol which node type it has (e.g., if it is Mandatory in the AST).

Instances details

Grammar SimpleJavaGrammar Source #	Define optionality for all node types in our Java grammar
Instance details Defined in SimpleJava Methods nodetypeof :: SimpleJavaGrammar -> NodeType Source #