Package soot

Examples of soot.Type

755
756
757
758
759
760
761
762
763
764
765
        // Check to see if we have anything to do.
        if (namedObj.attributeList().size() == 0) {
            return;
        }

        Type variableType = RefType.v(PtolemyUtilities.variableClass);

        // A local that we will use to set the value of our
        // settable attributes.
        Local attributeLocal = Jimple.v().newLocal("attribute",
                PtolemyUtilities.attributeType);
View Full Code Here
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
                // named objects, except for the CGInit method, which
                // is always inlined.
                boolean hasDangerousType = false;

                {
                    Type type = targetMethod.getReturnType();

                    if (type instanceof RefType) {
                        SootClass typeClass = ((RefType) type).getSootClass();

                        if (SootUtilities.derivesFrom(typeClass,
                                PtolemyUtilities.namedObjClass)) {
                            hasDangerousType = true;
                        }
                    }
                }

                for (Iterator argTypes = targetMethod.getParameterTypes()
                        .iterator(); argTypes.hasNext();) {
                    Type type = (Type) argTypes.next();

                    if (type instanceof RefType) {
                        SootClass typeClass = ((RefType) type).getSootClass();

                        if (SootUtilities.derivesFrom(typeClass,
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
     *  @param method The method.
     *  @return The header code.
     */
    protected String _generateMethodHeader(SootMethod method) {
        StringBuffer header = new StringBuffer();
        Type returnType = method.getReturnType();
        header.append(CNames.typeNameOf(returnType));
        _updateRequiredTypes(returnType);
        header.append(" ");
        header.append(CNames.functionNameOf(method));
        header.append("(");
View Full Code Here
183
184
185
186
187
188
189
190
191
192
193
        while (parameters.hasNext()) {
            if ((++numberOfParameters) > 1) {
                code.append(", ");
            }

            Type parameterType = (Type) (parameters.next());
            code.append(CNames.typeNameOf(parameterType));

            _updateRequiredTypes(parameterType);

            if (parameterType instanceof ArrayType) {
View Full Code Here
451
452
453
454
455
456
457
458
459
460
461
    /** Generate code for an instanceof expression.
     *  @param v The instanceof expression.
     */
    public void caseInstanceOfExpr(InstanceOfExpr v) {
        // instanceof is needed only for RefTypes.
        Type type = v.getCheckType();

        if ((type instanceof RefType)) {
            v.getOp().apply(this);
            _push(CNames.instanceOfFunction + "(" + "(PCCG_CLASS_INSTANCE*)"
                    + _pop() + ", "
View Full Code Here
646
647
648
649
650
651
652
653
654
655
656
    /** Generate code for a "new object" expression.
     *  @param v The expression.
     */
    public void caseNewExpr(NewExpr v) {
        Type type = v.getType();

        if (_debug) {
            System.out.println("new expr types: "
                    + v.getBaseType().getClass().getName() + ", "
                    + v.getType().getClass().getName() + ", "
View Full Code Here
802
803
804
805
806
807
808
809
810
811
812
        int dataWidth = 32;

        // Number of bits in "int" for C. Java has 64bits, but we can't
        // implement that in C yet.
        Type dataType = v.getOp1().getType();

        if (dataType instanceof PrimType) {
            if (dataType instanceof ByteType) {
                dataWidth = 8;
            } else if (dataType instanceof IntType) {
View Full Code Here
840
841
842
843
844
845
846
847
848
849
850
        int dataWidth = 32;

        // Number of bits in "int" for C. Java has 64bits, but we can't
        // implement that in C yet.
        Type dataType = v.getOp1().getType();

        if (dataType instanceof PrimType) {
            if (dataType instanceof ByteType) {
                dataWidth = 8;
            } else if (dataType instanceof IntType) {
View Full Code Here
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
        int dataWidth = 32;

        // Number of bits in "int" for C. Java has 64bits, but we can't
        // implement that in C yet.
        Type dataType = v.getOp1().getType();

        // The "ifs" are in this order so that only the shortest data type
        // is chosen.
        if (dataType instanceof PrimType) {
            if (dataType instanceof ByteType) {
View Full Code Here
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
        SootMethod method = expression.getMethod();

        int count = previousArguments;

        while (args.hasNext()) {
            Type expectedParamType = method.getParameterType(count
                    - previousArguments);

            if (count++ > 0) {
                code.append(", ");
            }
View Full Code Here
TOP

Related Classes of soot.Type

  • backend.ExprCodeGenerator
  • backend.FunctionCodeGenerator
  • backend.ModuleCodeGenerator
  • dk.brics.jwig.analysis.jaive.FormChecker
  • dk.brics.jwig.analysis.jaive.InterfaceInvocationChecker
  • dk.brics.jwig.analysis.jaive.InvocationDetector
  • dk.brics.jwig.analysis.JwigResolver
  • dk.brics.jwig.analysis.MakeURLSignatureHandler
  • dk.brics.string.java.AbstractDispatchClassHierarchy
  • dk.brics.string.java.StatementTranslatorImpl
    • 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.