Пример #1
0
 public VarBadge(SuperNode superNode) {
   // mWorkSpace = ws;
   mSuperNode = superNode;
   // Initialize the entry list
   SuperNode parentNode = mSuperNode;
   mEntryList.clear();
   while (parentNode != null) {
     Vector<VarDef> varDefList = parentNode.getVarDefList();
     for (VarDef varDef : varDefList) {
       mEntryList.add(
           new Entry(
               parentNode,
               false,
               varDef.getConcreteSyntax(),
               varDef.getFormattedSyntax(),
               TextFormat.fillWithAttributes(varDef.getFormattedSyntax()).getSecond()));
     }
     parentNode = parentNode.getParentNode();
   }
   // Initialize size and location
   setSize(new Dimension(1, 1));
   setLocation(
       superNode.getVariableBadge().getPosition().getXPos(),
       superNode.getVariableBadge().getPosition().getYPos());
 }
Пример #2
0
 private void updateVariable(TPLTuple<String, String> varVal) {
   // System.err.println("updateVariable");
   for (Entry entry : mEntryList) {
     String var = entry.getVarName(); // the name of the current variable
     String typ = entry.getVarType();
     if (var.equals(varVal.getFirst())) {
       TPLTuple<String, AttributedString> formatedPair =
           TextFormat.fillWithAttributes("#r#" + typ + " " + var + " = " + varVal.getSecond());
       entry.mFormatted = formatedPair.getFirst();
       entry.mAttributed = formatedPair.getSecond();
       entry.mHasChanged = true;
     }
   }
 }
Пример #3
0
  public void update(Observable o, Object obj) {
    // mLogger.message("VarBadge.update(" + obj + ")");

    // Clear the entry list
    mEntryList.clear();
    // Recompute the entry list
    SuperNode parentNode = mSuperNode;
    while (parentNode != null) {
      for (VarDef varDef : parentNode.getVarDefList()) {
        String varName = varDef.getName();
        // if (!containsEntryFor(varName)) {
        mEntryList.add(
            new Entry(
                parentNode,
                false,
                varDef.getConcreteSyntax(),
                varDef.getFormattedSyntax(),
                TextFormat.fillWithAttributes(varDef.getFormattedSyntax()).getSecond()));
        // }

      }
      parentNode = parentNode.getParentNode();
    }
  }