public WhileSilvernode(
Silvernode condition,
List <ContractSilvernode> verificationConditions,
BlockSilvernode statementBlock,
SyntaxNode originalNode) : base(originalNode)
{
this.condition = condition;
this.verificationConditions = verificationConditions;
this.statementBlock = statementBlock;
}
public IfSilvernode(SyntaxNode originalNode,
Silvernode condition,
StatementSilvernode then,
StatementSilvernode elseBranch)
: base(originalNode)
{
this.condition = condition;
this.then = then;
this.elseBranch = elseBranch;
if (!(this.then is BlockSilvernode))
{
this.then = new BlockSilvernode(null, new List <StatementSilvernode> {
then
});
}
if (this.elseBranch != null && !(this.elseBranch is BlockSilvernode))
{
this.elseBranch = new BlockSilvernode(null, new List <StatementSilvernode> {
elseBranch
});
}
}
public RequiresSilvernode(Silvernode precondition, SyntaxNode originalNode) : base(originalNode)
{
this.Precondition = precondition;
}
public AbsoluteValueSilvernode(Silvernode silvernode, SyntaxNode node) : base(node, SilverType.Int)
{
this._silvernode = silvernode;
}
public EnsuresSilvernode(Silvernode postcondition, SyntaxNode originalNode) : base(originalNode)
{
this.Postcondition = postcondition;
}
public AssignmentSilvernode(Silvernode left, Silvernode right, SyntaxNode originalNode) : base(originalNode)
{
this.left = left;
this.right = right;
}
public InvariantSilvernode(Silvernode invariant, SyntaxNode originalNode) : base(originalNode)
{
this.Invariant = invariant;
}
public BinaryExpressionSilvernode(Silvernode left, string @operator, Silvernode right, SyntaxNode originalNode) : base(originalNode, SilverType.Int)
{
this.Operator = @operator;
this.left = left;
this.right = right;
}
public PrefixUnaryExpressionSilvernode(string @operator, Silvernode operand, SyntaxNode originalNode) : base(originalNode)
{
this.Operator = @operator;
this.operand = operand;
}
public ConditionalExpressionSilvernode(Silvernode a, Silvernode b, Silvernode c, SyntaxNode originalNode) : base(originalNode)
{
this.condition = a;
this.whenTrue = b;
this.whenFalse = c;
}
public AssertionLikeSilvernode(string keyword, Silvernode assertion, SyntaxNode original) : base(original)
{
this.Assertion = assertion;
this.Keyword = keyword;
}
public ExpressionStatementSilvernode(Silvernode expression, SyntaxNode originalNode)
: base(originalNode)
{
this.expression = expression;
}
public AccSilvernode(Silvernode protectedElement, Silvernode permission, SyntaxNode originalNode) :
base(originalNode, SilverType.Bool)
{
this.ProtectedElement = protectedElement;
this.Permission = permission;
}
