Exemple #1
0
   public TrsTypeDefinition(TrsTypeDefinitionTypeName name, List<TrsTypeDefinitionTermBase> acceptedTerms, 
 AstTypeDefinitionStatement astIn = null)
   {
       AstSource = astIn;
         AcceptedTerms = acceptedTerms;
         Name = name;
   }
Exemple #2
0
 public TrsTypeDefinition(TrsTypeDefinitionTypeName name, List <TrsTypeDefinitionTermBase> acceptedTerms,
                          AstTypeDefinitionStatement astIn = null)
 {
     AstSource     = astIn;
     AcceptedTerms = acceptedTerms;
     Name          = name;
 }
Exemple #3
0
        public IEnumerable <TrsTypeDefinitionTypeName> GetReferencedTypeNames()
        {
            IEnumerable <TrsTypeDefinitionTypeName> retVal = new TrsTypeDefinitionTypeName[0];

            foreach (var refTypes in AcceptedTerms.Select(st => st.GetReferencedTypeNames()))
            {
                retVal = retVal.Concat(refTypes);
            }
            return(retVal);
        }
        public override IEnumerable <TrsTypeDefinitionTypeName> GetReferencedTypeNames()
        {
            IEnumerable <TrsTypeDefinitionTypeName> typeNames = new TrsTypeDefinitionTypeName[0];

            foreach (var arg in OnfArgumentTypes)
            {
                foreach (var i in Enumerable.Range(0, arg.Cardinality))
                {
                    typeNames = Enumerable.Concat(typeNames, arg.Term.GetReferencedTypeNames());
                }
            }
            return(typeNames);
        }
Exemple #5
0
 public TrsLimitStatement(List <TrsVariable> variables, TrsTypeDefinitionTypeName typeDefinition, AstLimitStatement astSource = null)
 {
     AstSource      = astSource;
     TypeDefinition = typeDefinition;
     Variables      = variables;
 }
Exemple #6
0
 public TrsLimitStatement(List<TrsVariable> variables, TrsTypeDefinitionTypeName typeDefinition, AstLimitStatement astSource = null)
 {
     AstSource = astSource;
       TypeDefinition = typeDefinition;
       Variables = variables;
 }
Exemple #7
0
 public IEnumerable<TrsTypeDefinitionTypeName> GetReferencedTypeNames()
 {
     IEnumerable<TrsTypeDefinitionTypeName> retVal = new TrsTypeDefinitionTypeName[0];
       foreach (var refTypes in AcceptedTerms.Select(st => st.GetReferencedTypeNames()))
     retVal = retVal.Concat(refTypes);
       return retVal;
 }
 public override IEnumerable<TrsTypeDefinitionTypeName> GetReferencedTypeNames()
 {
     IEnumerable<TrsTypeDefinitionTypeName> typeNames = new TrsTypeDefinitionTypeName[0];
       foreach (var arg in OnfArgumentTypes)
     foreach (var i in Enumerable.Range(0, arg.Cardinality))
       typeNames = Enumerable.Concat(typeNames, arg.Term.GetReferencedTypeNames());
       return typeNames;
 }