есть класс для типа данных TypeExpr
тип может быть множеством или выражением с множествами
варианты такие:

{x,y,z} - множество значений, елементы могут быть разных классов

PSET Type - множество всех подмножеств типа 

UNI | INTER | SETMINUS Type TypeExpr - объединение, пересечение, разность типа и выражения типа

PROD Type Type - произведение типов

Type это имя типа: B, N, или свободный тип X

все составляющие выражения для типа записываются в ArrayList как объекты класса Object,  потому что у них разные классы



потом нужно будет считывать этот ArrayList и выдавать выражение в виде String

если {x,y,z}, то {x,y,z}
если PSET Type , то  Set(Type) 
если  UNI  Type TypeExpr , то Uni(Type,TypeExpr)
если  PROD Type Type, то (Type,Type)
 
как это лучше реализовать? с помощью  switch - case? 

то есть ArrayList состоит например из элементов  UNI, Type, TypeExpr, а выдать надо Uni(Type,TypeExpr)



Это сообщение отредактировал(а) ElKa - 4.8.2008, 13:41