Microsoft.Cci.MutableContracts.ContractElement.ContractElement C# (CSharp) Method

ContractElement Class Documentation Show file Open project: visualmutator/visualmutator

ContractElement() protected method

Creates a fresh contract element with no information in it.
protected ContractElement ( ) : System
return System 
    protected ContractElement() {
      this.condition = CodeDummy.Expression;
      this.description = null;
      this.conditionAsText = null;
      this.isModel = false;
      this.locations = new List<ILocation>(1);
    }

Same methods

ContractElement::ContractElement ( IContractElement element ) : System
ContractElement
ContractElement
Dispatch