Esempi in C# (CSharp) per Tvl.VisualStudio.Language.Alloy.IntellisenseModel AlloyFile

Esempio n. 1

File: FactBase.cs Progetto: 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;
        }

Esempio n. 2

File: Signature.cs Progetto: 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;
        }

Esempio n. 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;
        }

Esempio n. 4

File: Signature.cs Progetto: 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;
        }

Esempio n. 5

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

Esempio n. 6

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

Esempio n. 7

File: Fact.cs Progetto: weizhengwei/LangSvcV2

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

Esempio n. 8

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

Esempio n. 9

File: Enum.cs Progetto: sebandraos/LangSvcV2

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

Esempio n. 10

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