Examples of ISet

com.guokr.simbase.command.ISet
com.hazelcast.core.ISet
Concurrent, distributed implementation of {@link Set}
This class is not a general-purpose Set implementation! While this class implements the Set interface, it intentionally violates Set's general contract, which mandates the use of the equals method when comparing objects. Instead of the equals method this implementation compares the serialized byte version of the objects.
org.eclipse.imp.pdb.facts.ISet
org.springframework.ide.eclipse.webflow.core.model.ISet
@author Christian Dupuis @since 2.0
util.objects.setDataStructures.ISet
Class representing a set of POSITIVE integers (typically graph nodes) Created by IntelliJ IDEA. @since 9 feb. 2011 @author chameau, Jean-Guillaume Fages

Examples of org.eclipse.imp.pdb.facts.ISet

        result = org.rascalmpl.interpreter.result.ResultFactory
            .makeResult(rec.getType(), tuple, __eval.__getEval());
      } else if (rec.getType().isRelation()
          && subscript.getType().isSubtypeOf(
              rec.getType().getFieldType(0))) {
        ISet rel = (ISet) rec.getValue();
        IValue sub = subscript.getValue();


        if (rec.getType().getArity() != 2) {
          throw new UnsupportedSubscript(rec.getType(),
              subscript.getType(), this);
        }


        if (!__eval.__getValue().getType().isSubtypeOf(
            rec.getType().getFieldType(1))) {
          throw new UnexpectedType(
              rec.getType().getFieldType(1), __eval.__getValue()
                  .getType(), __eval.__getEval()
                  .getCurrentAST());
        }


        rel = rel.insert(__eval.__getEval().getValueFactory().tuple(
            sub, __eval.__getValue().getValue()));
        result = org.rascalmpl.interpreter.result.ResultFactory
            .makeResult(rec.getType(), rel, __eval.__getEval());
      } else {
        throw new UnsupportedSubscript(rec.getType(), subscript

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ISet

  public static ISet getImports(IConstructor tree) {
    return get(tree, "default");
  }
  
  public static ISet getExtends(IConstructor tree) {
    ISet iSet = get(tree, "extend");
    return iSet;
  }

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ISet

    if (TreeAdapter.isChar(left) && TreeAdapter.isChar(right)) {
      return bool((TreeAdapter.getCharacter(left) == TreeAdapter.getCharacter(right)), ctx);
    }
    
    if (TreeAdapter.isAmb(left) && TreeAdapter.isAmb(right)) {
      ISet alts1 = TreeAdapter.getAlternatives(left);
      ISet alts2 = TreeAdapter.getAlternatives(right);


      if (alts1.size() != alts2.size()) {
        return bool(false, ctx);
      }
      
      // TODO: this is very inefficient
      again: for (IValue alt1: alts1) {

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ISet

    
    try{
      boolean isListRel = rel instanceof IList;
      out = new UnicodeOutputStreamWriter(ctx.getResolverRegistry().getOutputStream(loc.getURI(), false), encoding.getValue(), false);
      out = new BufferedWriter(out); // performance
      ISet irel = null;
      IList lrel = null;
      if (isListRel) {
        lrel = (IList)rel;
      }
      else {
        irel = (ISet) rel;
      }
      
      int nfields = isListRel ? lrel.asRelation().arity() : irel.asRelation().arity();
      if(head){
        for(int i = 0; i < nfields; i++){
          if(i > 0)
            out.write(sep);
          String label = paramType.getFieldName(i);

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ISet

    }
  }


  private IValue traverseSetOnce(IValue subject, CaseBlockList casesOrRules,
      DIRECTION direction, PROGRESS progress, FIXEDPOINT fixedpoint, TraverseResult tr) {
    ISet set = (ISet) subject;
    if(!set.isEmpty()){
      ISetWriter w = eval.getValueFactory().setWriter(set.getType().getElementType());
      boolean hasChanged = false;
      boolean hasMatched = false;
      
      for (IValue v : set) {
        tr.changed = false;

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ISet

      } else {
        hasNext = false;
        return ctx.getValueFactory().set();
      }
    }
    ISet result = subsetGen.next().insert(currentElement);
    if(debug)System.err.println("SubSetGenerator.next returns: " + result);
    return result;
  }

View Full Code Here

Examples of org.eclipse.imp.pdb.facts.ISet

    }
    else if (TreeAdapter.isCycle(tree)) {
      return new Tree.Cycle(TreeAdapter.getCycleType(tree), TreeAdapter.getCycleLength(tree));
    }
    else if (TreeAdapter.isAmb(tree)) {
      ISet args = TreeAdapter.getAlternatives(tree);
      java.util.List<Expression> kids = new ArrayList<Expression>(args.size());
      
      for (IValue arg : args) {
        kids.add(liftRec((IConstructor) arg, lexicalFather, layoutOfFather));
      }

View Full Code Here

Examples of org.springframework.ide.eclipse.webflow.core.model.ISet

      if (action.getExpression() != null) {
        buf.append(action.getExpression());
      }
    }
    else if (element instanceof ISet) {
      ISet action = (ISet) element;
      if (action.getAttribute() != null) {
        buf.append(action.getAttribute());
        buf.append(" = ");
      }
      if (action.getValue() != null) {
        buf.append(action.getValue());
      }
    }
    else if (element instanceof IExceptionHandler) {
      IExceptionHandler action = (IExceptionHandler) element;
      if (action.getBean() != null) {
        buf.append(action.getBean());
      }
    }
    else if (element instanceof IAttributeMapper) {
      IAttributeMapper attributeMapper = (IAttributeMapper) element;
      if (attributeMapper.getBean() != null) {

View Full Code Here

Examples of util.objects.setDataStructures.ISet

    @Override
    public ESat isEntailed() {
        if (!isCompletelyInstantiated()) {
            return ESat.UNDEFINED;
        }
        ISet tmp = SetFactory.makeSwap(n, false);
        for (int i = 0; i < n; i++) {
            if (circuit(tmp, i)) {
                return ESat.FALSE;
            }
        }

View Full Code Here

Examples of util.objects.setDataStructures.ISet

    private int augmentPath_BFS(int root) {
        in.clear();
        int indexFirst = 0, indexLast = 0;
        fifo[indexLast++] = root;
        int x, y;
        ISet succs;
        while (indexFirst != indexLast) {
            x = fifo[indexFirst++];
            succs = digraph.getSuccOf(x);
            for (y = succs.getFirstElement(); y >= 0; y = succs.getNextElement()) {
                if (!in.get(y)) {
                    father[y] = x;
                    fifo[indexLast++] = y;
                    in.set(y);
                    if (free.get(y)) {

View Full Code Here

0 1 2 3 4 5

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.