C# Class CfiVerifier.ConstantExpressionSimplifier

Inheritance: StandardVisitor
Show file Open project: TrustedCloud/slashconfidential

Public Methods

Method Description
VisitExpr ( Expr node ) : Expr

Private Methods

Method Description
DecideArg ( Expr arg ) : LiteralExpr
EvaluateNAryExpr ( NAryExpr node ) : LiteralExpr

Method Details

VisitExpr() public method

public VisitExpr ( Expr node ) : Expr
node Expr
return Expr