Examples of INode


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

              .__getEval().getStackTrace());
        }
      } else if (rec.getType().isNode()) {

        try {
          INode node = (INode) rec.getValue();

          IValue repl = __eval.__getValue().getValue();
          if(!repl.getType().isList()){
            throw new UnexpectedType(rec.getType(), repl.getType(), __eval.__getEval().getCurrentAST());
          }

          __eval.__setValue(__eval.newResult(node, __eval.__getValue()));
          node = node.replace(firstIndex, secondIndex, endIndex, (IList) repl);

          result = org.rascalmpl.interpreter.result.ResultFactory
              .makeResult(rec.hasInferredType() ? rec.getType()
                  .lub(node.getType()) : rec.getType(), node,
                  __eval.__getEval());
        } catch (IndexOutOfBoundsException e) { // include last in message
          throw org.rascalmpl.interpreter.utils.RuntimeExceptionFactory
          .indexOutOfBounds((IInteger) first.getValue(),
              __eval.__getEval().getCurrentAST(), __eval
View Full Code Here

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

  public Void visitNode(INode value) throws IOException {
    // ["node", ["name", arity, [...]] ]
    out.beginArray();
    out.value("node");
    out.beginArray();
    INode n = (INode) value;
    out.value(n.getName());
    out.value(n.arity());
    out.beginArray();
    for (IValue v : n.getChildren()) {
      write(out, v);
    }
    out.endArray();
   
//    if (!value.asAnnotatable().hasAnnotations()) {
View Full Code Here

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

    @Override
    public void handleEndTag(Tag t, int pos) {
      java.util.List<IValue> kids = stack.pop();
      IValue[] a = new IValue[kids.size()];
      kids.toArray(a);
      INode node = factory.node(t.toString(), factory.list(a));
      node = node.asAnnotatable().setAnnotations(attributes.pop());
      stack.peek().add(node);
    }
View Full Code Here

Examples of org.eclipse.xtext.nodemodel.INode

  public static List<String> resourceOffsets(Resource resource) {
    List<String> result = new ArrayList<String>();
    TreeIterator<Object> iterator = EcoreUtil.getAllContents(resource, true);
    while (iterator.hasNext()) {
      InternalEObject child = (InternalEObject)iterator.next();
      INode node = (INode)child.eAdapters().get(0);
      result.add("" + node.getOffset() + ", " + node.getSemanticElement());
    }
    return result;
  }
View Full Code Here

Examples of org.jamesii.core.math.parsetree.INode

  @Override
  public <N extends INode> N calc(IEnvironment<?> cEnv) {

    ValueNode val = caseStmt.calc(cEnv);

    INode defaultExpr = null;

    for (Pair<? extends Comparable, INode> p : caseTerms) {
      // default case
      if (p.getFirstValue() == null) {
        defaultExpr = p.getSecondValue();
        // continue with checking all other cases
        continue;
      }

      // any other than default case
      if (p.getFirstValue().compareTo(val.getValue()) == 0) {
        return (N) p.getSecondValue().calc(cEnv);
      }
    }

    if (defaultExpr != null) {
      return (N) defaultExpr.calc(cEnv);
    }

    return null;
  }
View Full Code Here

Examples of org.mj.eclipse.reporting.classpath.mvc.models.INode

   *
   * @param project
   * @return the created project as <code>INode</code> instance.
   */
  public INode createProject(IProject project) {
    INode tmpProject = null;
    if (project instanceof INode) {
      tmpProject = (INode) project;
    } else {
      tmpProject = new ProjectModel(project);
    }
View Full Code Here

Examples of org.olat.core.util.nodes.INode

    TreeModel tm = buildTreeModel();
    olatMenuTree.setTreeModel(tm);
    content = new Panel("content");
    // no child -> show a blank page
    if (tm.getRootNode().getChildCount() > 0) {
      INode firstNode = tm.getRootNode();
      olatMenuTree.setSelectedNodeId(firstNode.getIdent());
      olatMenuTree.addListener(this);

      Object uobject = tm.getRootNode().getUserObject();
      contentCtr = getContentCtr(uobject, ureq);
      listenTo(contentCtr); // auto dispose later
View Full Code Here

Examples of org.olat.core.util.nodes.INode

    MenuTree tree = (MenuTree) source;
   
    // unique ID used for DOM component identification
    String compPrefix = renderer.getComponentPrefix(tree);
   
    INode selNode = tree.getSelectedNode();
    TreeNode root = tree.getTreeModel().getRootNode();
    if (root == null) return; // tree is completely empty

    if (tree.isExpandServerOnly()) {
      // render only the expanded path using no javascript
      List selPath = new ArrayList(5);
      INode cur = selNode;
      if (cur == null) cur = root;
      // if no selection, select the first node to
      // expand the children
      // add all elems from selected path to reversed list -> first elem is
      // selected nodeid of the root node     
     
      while (cur != null) {
        selPath.add(0, cur);
        cur = cur.getParent();
      }
      target.append("\n<div class=\"b_tree\">");
      target.append("<ul class=\"b_tree_l0\">");
      renderLevel(target, 0, root, selPath, ubu, renderer.getGlobalSettings().getAjaxFlags(), compPrefix, tree.markingTreeNode);
      target.append("</ul>");
View Full Code Here

Examples of org.olat.core.util.nodes.INode

    }
  }

  private void renderLevel(StringOutput target, int level, TreeNode curRoot, List selPath, URLBuilder ubu, AJAXFlags flags, String componentPrefix, TreeNode markedNode) { 
    //TODO make performant
    INode curSel = null;
    if (level < selPath.size()) {
      curSel = (INode) selPath.get(level);
    }

    // get css class
View Full Code Here

Examples of org.olat.core.util.nodes.INode

  public void render(Renderer renderer, StringOutput target, Component source, URLBuilder ubu, Translator translator,
      RenderResult renderResult, String[] args) {
    MenuTree tree = (MenuTree) source;
    String compPrefix = renderer.getComponentPrefix(tree);
   
    INode selNode = tree.getSelectedNode();
    TreeNode root = tree.getTreeModel().getRootNode();
    if (root == null) return; // tree is completely empty

    List selPath = new ArrayList(5);
    INode cur = selNode;
    if (cur == null) cur = root; // if no selection, select the first node to
    // expand the children
    // add all elems from selected path to reversed list -> first elem is
    // selected nodeid of the root node
   
    while (cur != null) {
      selPath.add(0, cur);
      cur = cur.getParent();
    }
   
    // render overview information for screenreaders
    if (tree.isDirtyForUser() && selNode != null) {
      // this is the case when a new subtree expanded (parent is the node we just clicked).
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.