public TrsTypeDefinition(TrsTypeDefinitionTypeName name, List<TrsTypeDefinitionTermBase> acceptedTerms, AstTypeDefinitionStatement astIn = null) { AstSource = astIn; AcceptedTerms = acceptedTerms; Name = name; }
public TrsTypeDefinition(TrsTypeDefinitionTypeName name, List <TrsTypeDefinitionTermBase> acceptedTerms, AstTypeDefinitionStatement astIn = null) { AstSource = astIn; AcceptedTerms = acceptedTerms; Name = name; }
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); }
public TrsLimitStatement(List <TrsVariable> variables, TrsTypeDefinitionTypeName typeDefinition, AstLimitStatement astSource = null) { AstSource = astSource; TypeDefinition = typeDefinition; Variables = variables; }
public TrsLimitStatement(List<TrsVariable> variables, TrsTypeDefinitionTypeName typeDefinition, AstLimitStatement astSource = null) { AstSource = astSource; TypeDefinition = typeDefinition; Variables = variables; }
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; }