Tipo.java

Go to the documentation of this file.

package plp.expressions1.util;

        import java.util.Collections;
        import java.util.EnumSet;
        import java.util.Set;

        public class Tipo {
                
                public enum Tipos{INTEIRO, BOOLEANO, STRING}
                
                public static final Tipo TIPO_INTEIRO = new Tipo(EnumSet.of(Tipos.INTEIRO));
                public static final Tipo TIPO_BOOLEANO = new Tipo(EnumSet.of(Tipos.BOOLEANO));
                public static final Tipo TIPO_STRING = new Tipo(EnumSet.of(Tipos.STRING));
                public static final Tipo TIPO_INDEFINIDO = new Tipo(EnumSet.noneOf(Tipos.class));
                
                private Set<Tipos> tipo;

                private Tipo prox;

                public Tipo() {
                        this(EnumSet.allOf(Tipos.class));
                }

                public Tipo(Tipo prox) {
                        this(EnumSet.allOf(Tipos.class), prox);
                }

                public Tipo(Set<Tipos> tipo) {
                        this(tipo, null);
                }

                public Tipo(Set<Tipos> tipo, Tipo prox) {
                        this.tipo = tipo;
                        this.prox = prox;
                }

                public Set<Tipos> get() {
                        return Collections.unmodifiableSet(tipo);
                }

                public boolean eInteiro() {
                        return tipo.contains(Tipos.INTEIRO);
                }

                public boolean eBooleano() {
                        return tipo.contains(Tipos.BOOLEANO);
                }

                public boolean eString() {
                        return tipo.contains(Tipos.STRING);
                }

                public boolean eVoid() {
                        return tipo.isEmpty();
                }

                @Override
                public boolean equals(Object obj) {
                        return (obj instanceof Tipo && 
                                        ((Tipo) obj).tipo.equals(tipo));
                }

                public Tipo intersecao(Tipo outroTipo) {
                        Tipo novoTipo;
                        if (tipo.equals(outroTipo.tipo)) {
                                novoTipo = this;
                        } else {
                                Set<Tipos> t = EnumSet.copyOf(tipo);
                                t.retainAll(outroTipo.tipo);
                                novoTipo = new Tipo(t);
                        }
                        return novoTipo;
                }

                public Tipo getProx() {
                        return prox;
                } 

                public boolean eValido() {
                   return (tipo.size() == 1);
                }

            

}

---