Class SyntheticIR

    • Constructor Detail

      • SyntheticIR

        public SyntheticIR​(IMethod method,
                           Context context,
                           AbstractCFG cfg,
                           SSAInstruction[] instructions,
                           SSAOptions options,
                           Map<Integer,​ConstantValue> constants)
                    throws AssertionError
        Create an SSA form, induced over a list of instructions provided externally. This entrypoint is often used for, e.g., native method models
        Parameters:
        method - the method to construct SSA form for
        context - the governing context
        instructions - the SSA instructions which define the body of the method
        constants - a Map giving information on constant values for the symbol table
        Throws:
        AssertionError - if method is null
    • Method Detail

      • instructionPosition

        protected String instructionPosition​(int instructionIndex)
        This returns "", as synthetic IRs have no line numbers right now.
        Specified by:
        instructionPosition in class IR
        Returns:
        a String which is a readable representation of the instruction position corresponding to an instruction index
      • getLocalMap

        public IR.SSA2LocalMap getLocalMap()
        This returns null, as synthetic IRs have no local names right now.
        Specified by:
        getLocalMap in class IR