C# (CSharp) Tvl.VisualStudio.Language.Alloy.IntellisenseModel AlloyFile Beispiele

Beispiel #1

Datei: FactBase.cs Projekt: sebandraos/LangSvcV2

        protected FactBase(string name, AlloyFile file)
        {
            if (name == null)
                throw new ArgumentNullException("name");
            if (file == null)
                throw new ArgumentNullException("file");

            _name = name;
            _file = file;
        }

Beispiel #2

Datei: Signature.cs Projekt: chandramouleswaran/LangSvcV2

        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;
        }

Beispiel #3

        protected FactBase(string name, AlloyFile file)
        {
            if (name == null)
            {
                throw new ArgumentNullException("name");
            }
            if (file == null)
            {
                throw new ArgumentNullException("file");
            }

            _name = name;
            _file = file;
        }

Beispiel #4

Datei: Signature.cs Projekt: weizhengwei/LangSvcV2

        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;
        }

Beispiel #5

 public Function(string name, AlloyFile file)
     : base(name, file)
 {
 }

Beispiel #6

 public Assertion(string name, AlloyFile file)
     : base(name, file)
 {
 }

Beispiel #7

Datei: Fact.cs Projekt: weizhengwei/LangSvcV2

 public Fact(string name, AlloyFile file)
     : base(name, file)
 {
 }

Beispiel #8

 public Enum(string name, AlloyFile file)
     : base(name, file, SignatureAttributes.Abstract | SignatureAttributes.Enum)
 {
 }

Beispiel #9

Datei: Enum.cs Projekt: sebandraos/LangSvcV2

 public Enum(string name, AlloyFile file)
     : base(name, file, SignatureAttributes.Abstract | SignatureAttributes.Enum)
 {
 }

Beispiel #10

 public Predicate(string name, AlloyFile file)
     : base(name, file)
 {
 }