Examples of ptolemy.copernicus.java.TypeSpecializerAnalysis

ptolemy.copernicus.java.TypeSpecializerAnalysis

A transformer that modifies each class using the token types from ports. In particular, this class creates constraints in the same fashion as the Ptolemy II type system and solves those constraints. The resulting solution should correspond to valid Java types which are more specific (in the Ptolemy II sense) than the original Java types. The code is then transformed to use these more specific types.

This transformer is necessary because there are some token types that we want to make more specific, but that don't directly depend on the the types of a port. This transformation enables the token unboxing performed by the TokenToNativeTransformer

Note that this analysis assumes very little flow of control... Or at least that the types of each variable along each path are the same... as such, it works very badly if there are any instanceof checks, along with some other program constructs. @author Stephen Neuendorffer @version $Id: TypeSpecializerAnalysis.java,v 1.84 2008/01/24 02:07:30 cxh Exp $ @since Ptolemy II 4.0 @Pt.ProposedRating Red (cxh) @Pt.AcceptedRating Red (cxh)

        PtolemyUtilities.loadSootReferences();


        SootClass theClass = Scene.v().loadClassAndSupport(args[0]);
        theClass.setApplicationClass();


        TypeSpecializerAnalysis analysis = new TypeSpecializerAnalysis(
                theClass, new HashSet());


        for (Iterator variables = analysis.getSolverVariables(); variables
                .hasNext();) {
            System.out.println(variables.next().toString());
        }
    }

Examples of ptolemy.copernicus.java.TypeSpecializerAnalysis

Related Classes of ptolemy.copernicus.java.TypeSpecializerAnalysis