YaccConstructor


Checkers

Namespace: Yard.Core

Functions and values

Function or valueDescription
checkModuleRules publicRules module'
Signature: publicRules:IDictionary<string,t<t,t> list> -> module':Module<t,t> -> string list * (string * string list) list * t list
GetCoincideModuleNames def
Signature: def:t<t,t> -> string list
GetIncorrectMetaArgsCount def
Signature: def:t<t,t> -> (Module<t,t> * (t * int * int) list) list
GetInvalidOpenings def
Signature: def:t<t,t> -> (Module<t,t> * t list) list
GetUndeclaredNonterminalsList def
Signature: def:t<t,t> -> (Module<t,t> * string list) list * (Module<t,t> * (string * string list) list) list * (Module<t,t> * t list) list
IsChomskyNormalForm def
Signature: def:t<'?8357,'?8358> -> bool
Type parameters: '?8357, '?8358
IsSingleStartRule def
Signature: def:t<'?8353,'?8354> -> bool
Type parameters: '?8353, '?8354
IsStartRuleExists def
Signature: def:t<'?8350,'?8351> -> bool
Type parameters: '?8350, '?8351
IsUnusedRulesExists def
Signature: def:t<t,t> -> bool
reachableRulesInfo def
Signature: def:t<t,t> -> HashSet<string * string>
reachableRulesInfo_of_grammar grammar
Signature: grammar:t<t,t> -> HashSet<string * string>
sourcesWithoutFileNames def
Signature: def:t<t,t> -> t list

Usage example: check after conversion, that we didn't lose any binding to source (e.g. position)

Fork me on GitHub