C# Class Schemin.AST.ScheminRewriter

Inheritance: IScheminType
显示文件 Open project: imphasing/schemin Class Usage Examples

Public Properties

Property Type Description
DefiningEnv Schemin.Evaluate.Environment
Rewriter ScheminLambda

Public Methods

Method Description
BoolValue ( ) : ScheminBool
Equal ( IScheminType type ) : bool
Equivalent ( IScheminType type ) : bool
Rewrite ( ScheminPair values ) : ScheminPair
ScheminRewriter ( ScheminLambda rewriter, Environment definingEnv ) : System
ToString ( ) : string

Method Details

BoolValue() public method

public BoolValue ( ) : ScheminBool
return ScheminBool

Equal() public method

public Equal ( IScheminType type ) : bool
type IScheminType
return bool

Equivalent() public method

public Equivalent ( IScheminType type ) : bool
type IScheminType
return bool

Rewrite() public method

public Rewrite ( ScheminPair values ) : ScheminPair
values ScheminPair
return ScheminPair

ScheminRewriter() public method

public ScheminRewriter ( ScheminLambda rewriter, Environment definingEnv ) : System
rewriter ScheminLambda
definingEnv Schemin.Evaluate.Environment
return System

ToString() public method

public ToString ( ) : string
return string

Property Details

DefiningEnv public_oe property

public Environment,Schemin.Evaluate DefiningEnv
return Schemin.Evaluate.Environment

Rewriter public_oe property

public ScheminLambda,Schemin.AST Rewriter
return ScheminLambda