Esempio n. 1
0
 public override void Accept(Contracts.IOracleModelVisitor visitor)
 {
     visitor.VisitVarrayTypeDefinition(this);
     Type.Accept(visitor);
     Expression.Accept(visitor);
 }
Esempio n. 2
0
 public override void Accept(Contracts.IOracleModelVisitor visitor)
 {
     visitor.VisitCodeVariableDeclarationStatement(this);
     Type.Accept(visitor);
     DefaultValue.Accept(visitor);
 }
Esempio n. 3
0
 /// <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);
 }
Esempio n. 5
0
 /// <inheritdoc />
 public void Accept(IDefinitionVisitor <IdentifierDefinition> visitor)
 {
     Type.Accept(visitor, this);
 }