C# Class Microsoft.Fast.AST.LangEquivQueryDef

Inheritance: EquivQueryDef
Mostra file Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
lang1 BuiltinLangExp
lang2 BuiltinLangExp

Public Methods

Method Description
LangEquivQueryDef ( FastToken equiv, BuiltinLangExp lang1, BuiltinLangExp lang2 ) : System

Private Methods

Method Description
Typecheck ( FastPgm pgm ) : void

Method Details

LangEquivQueryDef() public method

public LangEquivQueryDef ( FastToken equiv, BuiltinLangExp lang1, BuiltinLangExp lang2 ) : System
equiv FastToken
lang1 BuiltinLangExp
lang2 BuiltinLangExp
return System

Property Details

lang1 public_oe property

public BuiltinLangExp,Microsoft.Fast.AST lang1
return BuiltinLangExp

lang2 public_oe property

public BuiltinLangExp,Microsoft.Fast.AST lang2
return BuiltinLangExp