1 4 package cve.core.comunicazione; 5 6 import java.util.*; 7 8 import cve.util.*; 9 10 import relations.*; 11 12 import cve.staticLayout.*; 13 14 import org.apache.log4j.Logger; 15 16 22 23 public class InsiemeDiRelCve extends AInsiemeDiRel { 24 25 private Vector insiemeRel; 26 27 30 public InsiemeDiRelCve() { 31 super(); 32 Cve.errLog.debug(""); 33 insiemeRel= new Vector(); 34 } 35 36 42 public boolean isInRel(IRelazione rel){ 43 Cve.errLog.debug(""); 44 return insiemeRel.contains(rel); 45 } 46 47 52 public boolean isVuoto() { 53 Cve.errLog.debug(""); 54 return insiemeRel.isEmpty(); 55 } 56 57 62 public boolean addRel(IRelazione rel){ 63 Cve.errLog.debug(""); 64 if (!(insiemeRel.contains(rel))){ 65 insiemeRel.addElement(rel); 66 return true; 67 } 68 else 69 return false; 70 } 71 72 77 public boolean delRel(IRelazione rel){ 78 Cve.errLog.debug(""); 79 return insiemeRel.removeElement(rel); 80 } 81 82 86 public int getCardinalita(){ 87 Cve.errLog.debug(""); 88 return insiemeRel.size(); 89 } 90 91 95 public IRelazione getRel(int index){ 96 Cve.errLog.debug(""); 97 return (IRelazione)(insiemeRel.elementAt(index)); 98 } 99 100 103 public Enumeration Rels(){ 104 Cve.errLog.debug(""); 105 return insiemeRel.elements(); 106 } 107 } 108 109 | Popular Tags |