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