示例#1
0
        protected FactBase(string name, AlloyFile file)
        {
            if (name == null)
                throw new ArgumentNullException("name");
            if (file == null)
                throw new ArgumentNullException("file");

            _name = name;
            _file = file;
        }
示例#2
0
        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;
        }
示例#3
0
        protected FactBase(string name, AlloyFile file)
        {
            if (name == null)
            {
                throw new ArgumentNullException("name");
            }
            if (file == null)
            {
                throw new ArgumentNullException("file");
            }

            _name = name;
            _file = file;
        }
示例#4
0
        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;
        }
示例#5
0
 public Function(string name, AlloyFile file)
     : base(name, file)
 {
 }
示例#6
0
 public Assertion(string name, AlloyFile file)
     : base(name, file)
 {
 }
示例#7
0
 public Fact(string name, AlloyFile file)
     : base(name, file)
 {
 }
示例#8
0
 public Enum(string name, AlloyFile file)
     : base(name, file, SignatureAttributes.Abstract | SignatureAttributes.Enum)
 {
 }
示例#9
0
 public Enum(string name, AlloyFile file)
     : base(name, file, SignatureAttributes.Abstract | SignatureAttributes.Enum)
 {
 }
示例#10
0
 public Predicate(string name, AlloyFile file)
     : base(name, file)
 {
 }