protected FactBase(string name, AlloyFile file) { if (name == null) throw new ArgumentNullException("name"); if (file == null) throw new ArgumentNullException("file"); _name = name; _file = file; }
public Signature(string name, AlloyFile file, SignatureAttributes attributes) { if (name == null) throw new ArgumentNullException("name"); if (file == null) throw new ArgumentNullException("file"); _name = name; _file = file; _attributes = attributes; }
protected FactBase(string name, AlloyFile file) { if (name == null) { throw new ArgumentNullException("name"); } if (file == null) { throw new ArgumentNullException("file"); } _name = name; _file = file; }
public Signature(string name, AlloyFile file, SignatureAttributes attributes) { if (name == null) { throw new ArgumentNullException("name"); } if (file == null) { throw new ArgumentNullException("file"); } _name = name; _file = file; _attributes = attributes; }
public Function(string name, AlloyFile file) : base(name, file) { }
public Assertion(string name, AlloyFile file) : base(name, file) { }
public Fact(string name, AlloyFile file) : base(name, file) { }
public Enum(string name, AlloyFile file) : base(name, file, SignatureAttributes.Abstract | SignatureAttributes.Enum) { }
public Predicate(string name, AlloyFile file) : base(name, file) { }