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

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

339
340
341
342
343
344
345
346
347
348
349
            // 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;
        }
       
        // assign base to the result of the ToXML method
View Full Code Here
443
444
445
446
447
448
449
450
  }
  private Variable assumeTypeAnnotation(SchemaType annotation, Variable var) {
    if (annotation == null)
      return var;
    Variable result = makevar();
    cfg.addStatement(new ValidateStm(result, null, annotation, context.getCurrentOrigin()));
    return result;
  }
View Full Code Here
1390
1391
1392
1393
1394
1395
1396
1397
1398
  /**
   * Generates an ValidateStm.
   */
  private void putValidate(Value base, Value type) {
    SchemaType schema = context.parseSchemaType(context.getConstantString(type), context.getCurrentOrigin());
    cfg.addStatement(new ValidateStm(hardcodeResult = makevar(), translateExpr(base),
        schema,
        context.getCurrentOrigin()));
  }
View Full Code Here
TOP

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

  • dk.brics.xact.analysis.soot.Translator
    • 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.