Examples of dk.brics.string.intermediate.Field

dk.brics.string.intermediate.Field
A field in the intermediate representation. Each field is represented by an intermediate variable.
A field's variable must never be used directly in any statement except {@link FieldAssignment}and {@link FieldReference}. To assign from one field to another, the first field must be copied into a local variable with a {@link FieldReference} and then into the other field with a {@link FieldAssignment}.

        for (Statement ds : rd.getReachingDefs(s, var)) {
            use.addDefUse(map.get(ds).get(var));
        }
        // if this is a field variable, link from the field's node
        for (Variable alias : aa.getInfoBefore(s).getAliasesForInclusive(var, false)) {
            Field field = alias.getField();
            if (field == null)
                continue;
            
            use.addDefUse(fieldNodes.get(field));
        }

View Full Code Here

    // find non-transitive usage
    for (Method method : methods) {
      for (Statement statement : method.getStatements()) {
        if (statement instanceof FieldStatement) {
            FieldStatement stm = (FieldStatement)statement;
          Field field = stm.getField();
          uses.add(method, field);
        }
      }
    }

View Full Code Here

            return null;
        }


        VariableType type = factory.fromSootType(reference.getType());
        Variable var = factory.createVariable(type);
        Field field = factory.getField(reference.getField());
        factory.addStatement(new FieldReference(field, var));
        
        return var;
    }

View Full Code Here

    }
    return var;
  }
  
  public Field getField(SootField sootField) {
    Field field = fields.get(sootField);
    if (field == null) {
      VariableType type = jt.fromSootType(sootField.getType());
      field = application.createField(type, sootField.isStatic());
      fields.put(sootField, field);
    }

View Full Code Here

TOP

Related Classes of dk.brics.string.intermediate.Field

dk.brics.string.intermediate.operations.FieldUsageAnalysis

dk.brics.string.intermediate.operations.FlowGraphEdgeCreator

dk.brics.string.java.ApplicationFieldReferenceTranslator

dk.brics.string.java.VariableManager

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.