C# Class Microsoft.Fast.AST.DefDef

Inheritance: Def

Exibir arquivo Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
ddkind	DefDefKind
domain	FastSort
func	FuncSymbol

Protected Methods

Method	Description
DefDef ( DefDefKind ddkind, FastSort domain ) : System

Private Methods

Method	Description
Typecheck ( FastPgm pgm ) : void

Method Details

DefDef() protected method

protected DefDef ( DefDefKind ddkind, FastSort domain ) : System
ddkind	DefDefKind
domain	FastSort
return	System

Property Details

ddkind public_oe property

public DefDefKind ddkind
return	DefDefKind

domain public_oe property

public FastSort,Microsoft.Fast.AST domain
return	FastSort

func public_oe property

public FuncSymbol,Microsoft.Fast.AST func
return	FuncSymbol