Package dk.brics.xact.analysis.flowgraph.statements

Examples of dk.brics.xact.analysis.flowgraph.statements.UnknownStm


        }
        @Override
        public void visitEscapeStm(EscapeStm s) {
          Component c = var_alias.getData(s.getVar());
          if (c.array) {
            cfg.addStatement(new UnknownStm(s.getVar(), s.getOrigin()));
            replace(s, cfg.finish());
          } else {
            cfg.setOrigin(s.getOrigin());
            replace(s, cfg.finish());
          }
View Full Code Here


        // toXML() defined in external code?
        if (!toxmlMethod.getDeclaringClass().isApplicationClass()) {
            // ask config to resolve it
            String typename = config.resolveToXML(toxmlMethod);
            if (typename == null) {
                cfg.addStatement(new UnknownStm(base, context.getCurrentOrigin()));
            } else {
                cfg.addStatement(new ValidateStm(base, null, context.parseSchemaType(typename, context.getCurrentOrigin()), context.getCurrentOrigin()));
            }
            return;
        }
View Full Code Here

    @Override
    public Variable caseThisRef(ThisRef v, Object question) {
        Variable var = makevar();
        SootClass currentClass = context.getCurrentClass();
        if (config.hasExternalSubtypes(currentClass)) {
            cfg.addStatement(new UnknownStm(var, context.getCurrentOrigin()));
            return var;
        }
        cfg.startBranch();
        for (SootMethod m : (List<SootMethod>)context.getHierarchy().resolveAbstractDispatch(currentClass, Scene.v().getMethod("<dk.brics.xact.ToXMLable: dk.brics.xact.XML toXML()>"))) {
            if (!m.getDeclaringClass().isApplicationClass())
View Full Code Here

  /**
   * Generates an UnknownStm.
   */
  private void putUnknown() {
    hardcodeResult = makevar();
    cfg.addStatement(new UnknownStm(hardcodeResult, context.getCurrentOrigin()));
  }
View Full Code Here

    hardcodeResult = makevar();
    cfg.addStatement(new UnknownStm(hardcodeResult, context.getCurrentOrigin()));
  }
  private void putUnknown(Value var) {
    hardcodeResult = translateExpr(var);
    cfg.addStatement(new UnknownStm(hardcodeResult, context.getCurrentOrigin()));
  }
View Full Code Here

TOP

Related Classes of dk.brics.xact.analysis.flowgraph.statements.UnknownStm

Copyright © 2018 www.massapicom. 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.