cardleveltagsdesigner.java

WAP ide 代码

      if (start > -1) {
        start = s.indexOf("=" , start + 1);
        if (start > -1) {
          start = s.indexOf("\"" , start + 1);
          if (start > -1) {
            int end = s.indexOf("\"" , start + 1);
            if (end < 0)
              end = s.length();
            value = s.substring(start + 1, end);
          }
        }
      }
      start = s.indexOf("name");
      if (start > -1) {
        start = s.indexOf("=" , start + 1);
        if (start > -1) {
          start = s.indexOf("\"" , start + 1);
          if (start > -1) {
            int end = s.indexOf("\"" , start + 1);
            if (end < 0)
              end = s.length();
            name = s.substring(start + 1, end);
          }
        }
      }
      start = s.indexOf("id=\"");
      if (start > -1) {
        start = start + 4;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 4, end + 1);
      }
      start = s.indexOf("class=\"");
      if (start > -1) {
        start = start + 7;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 7, end + 1);
      }
      start = s.indexOf("xml:lang=\"");
      if (start > -1) {
        start = start + 10;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 10, end + 1);
      }
      setUserObject(s);
    }
  }

  /**
   * This class encapsulates a noopNode.  It takes care of its own data
   * and provides mehtods for accessing and updating the data.
   */
  private class noopNode extends EnhancedTreeNode {

    private String extra;

    /**
     * Constructs a new Node of type "noop."
     */
    public noopNode() {
      super("<noop/>", "noop");
      setUserObject("<noop/>");
      setAllowsChildren(false);
    }

    public String getExtra() {
      return extra;
    }

    /**
     * Sets the data for the Node from a Vector.
     * @param Vector v - the data to be set.
     */
    public void setData(Vector v) {
      extra = (String) v.get(0);
    }

    /**
     *Gets the data of the Node and returns it as a Vector.
     * @return Vector v - the data in the following format:<br>
     * extra
     */
    public Vector getData() {
      Vector v = new Vector();
      v.add(extra);
      return v;
    }

    /**
     * Updates the Node's data and visual component.
     */
    public void updateNode() {
      String s = "<noop";
      if (extra.length() > 0)
        s = s + " " + extra.trim();
      s = s + "/>";
      setUserObject(s);
    }

    /**
     * Updates a node data from a String.
     * @param String s - the data to update the node with.
     */
    public void updateNode(String s) {
      extra = "";

      int start = s.indexOf("id=\"");
      if (start > -1) {
        start = start + 4;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 4, end + 1);
      }
      start = s.indexOf("class=\"");
      if (start > -1) {
        start = start + 7;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 7, end + 1);
      }
      start = s.indexOf("xml:lang=\"");
      if (start > -1) {
        start = start + 10;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 10, end + 1);
      }
      setUserObject(s);
    }
  }

  /**
   * This class encapsulates a prevNode.  It takes care of its own data
   * and provides mehtods for accessing and updating the data.
   */
  private class prevNode extends EnhancedTreeNode {

    private String extra;

    /**
     * Constructs a new Node of type "prev."
     */
    public prevNode() {
      super("<prev/>", "prev");
      setUserObject("<prev/>");
      setAllowsChildren(true);
      extra = "";
      updateNode();
    }

    public String getExtra() {
      return extra;
    }

    /**
     * Sets the data for the Node from a Vector.
     * @param Vector v - the data to be set.
     */
    public void setData(Vector v) {
      extra = (String) v.get(0);
    }

    /**
     *Gets the data of the Node and returns it as a Vector.
     * @return Vector v - the data in the following format:<br>
     * extra
     */
    public Vector getData() {
      Vector v = new Vector();
      v.add(extra);
      return v;
    }

    /**
     * Updates the Node's data and visual component.
     */
    public void updateNode() {
      String s = "<prev";
      if (extra.length() > 0)
        s = s + " " + extra.trim();
      s = s + "/>";
      setUserObject(s);
    }

    /**
     * Updates a node data from a String.
     * @param String s - the data to update the node with.
     */
    public void updateNode(String s) {
      extra = "";

      int start = s.indexOf("id=\"");
      if (start > -1) {
        start = start + 4;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 4, end + 1);
      }
      start = s.indexOf("class=\"");
      if (start > -1) {
        start = start + 7;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 7, end + 1);
      }
      start = s.indexOf("xml:lang=\"");
      if (start > -1) {
        start = start + 10;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 10, end + 1);
      }
      setUserObject(s);
    }
  }

  /**
   * This class encapsulates a refreshNode.  It takes care of its own data
   * and provides mehtods for accessing and updating the data.
   */
  private class refreshNode extends EnhancedTreeNode {

    private String extra;

    /**
     * Constructs a new Node of type "refresh."
     */
    public refreshNode() {
      super("<refresh>", "refresh");
      setUserObject("<refresh>");
      setAllowsChildren(true); //setvar & noop
      extra = "";
      updateNode();
    }

    public String getExtra() {
      return extra;
    }

    /**
     * Sets the data for the Node from a Vector.
     * @param Vector v - the data to be set.
     */
    public void setData(Vector v) {
      extra = (String) v.get(0);
    }

    /**
     * Gets the data of the Node and returns it as a Vector.
     * @return Vector v - the data in the following format:<br>
     * extra
     */
    public Vector getData() {
      Vector v = new Vector();
      v.add(extra);
      return v;
    }

    /**
     * Updates the Node's data and visual component.
     */
    public void updateNode() {
      String s = "<refresh";
      if (extra.length() > 0)
        s = s + " " + extra.trim();
      s = s + "/>";
      setUserObject(s);
    }

    /**
     * Updates a node data from a String.
     * @param String s - the data to update the node with.
     */
    public void updateNode(String s) {
      extra = "";

      int start = s.indexOf("id=\"");
      if (start > -1) {
        start = start + 4;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 4, end + 1);
      }
      start = s.indexOf("class=\"");
      if (start > -1) {
        start = start + 7;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 7, end + 1);
      }
      start = s.indexOf("xml:lang=\"");
      if (start > -1) {
        start = start + 10;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 10, end + 1);
      }
      setUserObject(s);
    }
  }

  /**
   * This class encapsulates a postfieldNode.  It takes care of its own data
   * and provides mehtods for accessing and updating the data.
   */
  private class postfieldNode extends EnhancedTreeNode {

    private String value, name, extra;

    /**
     * Constructs a new Node of type "postfield."
     */
    public postfieldNode() {
      super("", "postfield");
      setUserObject("");
      setAllowsChildren(false);
      value = "";
      name = "";
      extra = "";
      updateNode();
    }

    /**
     * Sets the data for the Node from a Vector.
     * @param Vector v - the data to be set.
     */
    public void setData(Vector v) {
      value = (String) v.get(0);
      name = (String) v.get(1);
      extra = (String) v.get(2);
    }

    /**
     *Gets the data of the Node and returns it as a Vector.
     * @return Vector v - the data in the following format:<br>
     * value<br>
     * name<br>
     * extra
     */
    public Vector getData() {
      Vector v = new Vector();
      v.add(value);
      v.add(name);
      v.add(extra);
      return v;
    }

    public String getValue() {
      return value;
    }

    public String getName() {
      return name;
    }

    public String getExtra() {
      return extra;
    }

    /**
     * Updates the Node's data and visual component.
     */
    public void updateNode() {
      String s = "<postfield";
      if (!value.equals(""))
        s = s + " value=\"" + value + "\"";
      if (!name.equals(""))
        s = s + " name=\"" + name + "\"";
      if (extra.length() > 0)
        s = s + " " + extra.trim();
      s = s + "/>";
      setUserObject(s);
    }

    /**
     * Updates a node data from a String.
     * @param String s - the data to update the node with.
     */
    public void updateNode(String s) {
      value = "";
      name = "";
      extra = "";

      int start = s.indexOf("value");
      if (start > -1) {
        start = s.indexOf("=" , start + 1);
        if (start > -1) {
          start = s.indexOf("\"" , start + 1);
          if (start > -1) {
            int end = s.indexOf("\"" , start + 1);
            if (end < 0)
              end = s.length();
            value = s.substring(start + 1, end);
          }
        }
      }
      start = s.indexOf("name");
      if (start > -1) {
        start = s.indexOf("=" , start + 1);
        if (start > -1) {
          start = s.indexOf("\"" , start + 1);
          if (start > -1) {
            int end = s.indexOf("\"" , start + 1);
            if (end < 0)
              end = s.length();
            name = s.substring(start + 1, end);
          }
        }
      }
      start = s.indexOf("id=\"");
      if (start > -1) {
        start = start + 4;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 4, end + 1);
      }
      start = s.indexOf("class=\"");
      if (start > -1) {
        start = start + 7;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 7, end + 1);
      }
      start = s.indexOf("xml:lang=\"");
      if (start > -1) {
        start = start + 10;
        int end = s.indexOf("\"", start);
        extra = extra + " " + s.substring(start - 10, end + 1);
      }
      setUserObject(s);
    }
  }

  /**
   * This class encapsulates a setvarNode.  It takes care of its own data
   * and provides mehtods for accessing and updating the data.
   */
  private class setvarNode extends EnhancedTreeNode {

    private String value, name, extra;

    /**
     * Constructs a new Node of type "setvar."
     */
    public setvarNode() {
      super("", "setvar");
      setUserObject("");
      setAllowsChildren(true);
      value = "";
      name = "";
      extra = "";
      updateNode();
    }

    /**
     * Sets the data for the Node from a Vector.
     * @param Vector v - the data to be set.
     */
    public void setData(Vector v) {
      value = (String) v.get(0);
      name = (String) v.get(1);
      extra = (String) v.get(2);