public override void Accept(Contracts.IOracleModelVisitor visitor) { visitor.VisitVarrayTypeDefinition(this); Type.Accept(visitor); Expression.Accept(visitor); }
public override void Accept(Contracts.IOracleModelVisitor visitor) { visitor.VisitCodeVariableDeclarationStatement(this); Type.Accept(visitor); DefaultValue.Accept(visitor); }
/// <inheritdoc /> public void Accept(IDefinitionVisitor <EvidenceDefinition> visitor) { Type.Accept(visitor, this); }
public override void Accept(Contracts.IOracleModelVisitor visitor) { visitor.VisitFieldSpecExpression(this); Type.Accept(visitor); DefaultValue.Accept(visitor); }
/// <inheritdoc /> public void Accept(IDefinitionVisitor <IdentifierDefinition> visitor) { Type.Accept(visitor, this); }