de.rwth.dfa.jvm
Class Abstraction.Default

java.lang.Object
  |
  +--de.rwth.dfa.jvm.Abstraction.Default

Enclosing class:

Abstraction

public static class Abstraction.Default

extends java.lang.Object

Container class for default implementations of methods.

Constructor Summary

Abstraction.Default()

Method Summary

static Function	getAbstract(Abstraction abstraction, InstructionHandleVector ihv) A default implementation of Abstraction.getAbstract(InstructionHandleVector).
static java.lang.Object	getInitialValue(Abstraction abstraction, InstructionHandleVector ihv, boolean isEntry) A default implementation of Abstraction.getInitialValue(InstructionHandleVector,boolean).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Abstraction.Default

public Abstraction.Default()

Method Detail

getInitialValue

public static java.lang.Object getInitialValue(Abstraction abstraction,
                                               InstructionHandleVector ihv,
                                               boolean isEntry)

A default implementation of Abstraction.getInitialValue(InstructionHandleVector,boolean). For forward flow, it returns the value returned by Abstraction.getInitialValue(InstructionHandle,boolean) for the first instruction in the sequence. For backward flow, it returns the value returned by Abstraction.getInitialValue(InstructionHandle,boolean) for the last instruction in the sequence.

Parameters:

abstraction - an Abstraction value

ihv - an InstructionHandleVector value

isEntry - a boolean value

Returns:

an Object value

getAbstract

public static Function getAbstract(Abstraction abstraction,
                                   InstructionHandleVector ihv)

A default implementation of Abstraction.getAbstract(InstructionHandleVector). It computes the composition of the functions returned by Abstraction.getAbstract(InstructionHandle) for the elements of the sequence. For forward flow, the function associated with the first element of the sequence is the first function in the composition. For backward flow, the first function is the composition is the function associated with the last element of the sequence.

Parameters:

abstraction - an Abstraction value

ihv - an InstructionHandleVector value

Returns:

a Function value