C# Class Microsoft.Fast.AST.GuardedExp

Inheritance: Ast
Afficher le fichier Open project: AutomataDotNet/Automata Class Usage Examples

Méthodes publiques

Свойство Type Description
given List
pat Pattern
to FExp
where FExp

Méthodes publiques

Méthode Description
AddGivenCase ( FExp gc ) : void
GuardedExp ( Pattern pat ) : System
GuardedExp ( Pattern pat, FExp where, List given ) : System
GuardedExp ( Pattern pat, FExp where, List given, FExp to ) : System
PrettyPrint ( StringBuilder sb ) : void

Method Details

AddGivenCase() public méthode

public AddGivenCase ( FExp gc ) : void
gc FExp
Résultat void

GuardedExp() public méthode

public GuardedExp ( Pattern pat ) : System
pat Pattern
Résultat System

GuardedExp() public méthode

public GuardedExp ( Pattern pat, FExp where, List given ) : System
pat Pattern
where FExp
given List
Résultat System

GuardedExp() public méthode

public GuardedExp ( Pattern pat, FExp where, List given, FExp to ) : System
pat Pattern
where FExp
given List
to FExp
Résultat System

PrettyPrint() public méthode

public PrettyPrint ( StringBuilder sb ) : void
sb StringBuilder
Résultat void

Property Details

given public_oe property

public List given
Résultat List

pat public_oe property

public Pattern pat
Résultat Pattern

to public_oe property

public FExp,Microsoft.Fast.AST to
Résultat FExp

where public_oe property

public FExp,Microsoft.Fast.AST where
Résultat FExp