Checkers
Namespace: Yard.Core
Functions and values
| Function or value | Description |
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) |
