de.rwth.dfa.jvm.samples
Class CFPLocalsLattice

java.lang.Object
  |
  +--de.rwth.domains.templates.TupleSet
        |
        +--de.rwth.domains.templates.TuplePOSet
              |
              +--de.rwth.domains.templates.TupleLattice
                    |
                    +--de.rwth.domains.templates.TupleCompleteLattice
                          |
                          +--de.rwth.dfa.jvm.samples.CFPLocalsLattice

All Implemented Interfaces:

CompleteLattice, CompletePOSet, Lattice, LowerSemiLattice, POSet, PreLattice, PreLowerSemiLattice, PreUpperSemiLattice, Set, UpperSemiLattice

public class CFPLocalsLattice

extends TupleCompleteLattice

The lattice used by the constant folding propagation lattice to describe the state of the local variable slots. Each element is a tuple with one entry for each slot. Each entry is an element of CFPComponentLattice.

Version:

$Id: CFPLocalsLattice.java,v 1.2 2002/09/17 06:53:53 mohnen Exp $

Author:

Markus Mohnen

Inner classes inherited from class de.rwth.domains.Set

Set.Default

Fields inherited from class de.rwth.domains.templates.TupleSet

sets, size, sizeSkel

Constructor Summary

CFPLocalsLattice(int maxLocals)
Creates a new CFPLocalsLattice instance.

Method Summary

java.lang.Object[]	getLocals(java.lang.Object o) Extracts the values for the components as an array for an element of this lattice.
static void	main(java.lang.String[] args) Mini test environment.
java.lang.Object	makeElement(java.lang.Object[] locals) Creates an element of this lattice from a valid component array.

Methods inherited from class de.rwth.domains.templates.TupleCompleteLattice

bottom, top

Methods inherited from class de.rwth.domains.templates.TupleLattice

join, meet

Methods inherited from class de.rwth.domains.templates.TuplePOSet

le, lt

Methods inherited from class de.rwth.domains.templates.TupleSet

equals, getSets, isElement, iterator, iteratorSkel, size, sizeSkel

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.rwth.domains.Lattice

join, meet

Methods inherited from interface de.rwth.domains.POSet

le, lt

Methods inherited from interface de.rwth.domains.Set

equals, isElement, iterator, iteratorSkel, size, sizeSkel

Constructor Detail

CFPLocalsLattice

public CFPLocalsLattice(int maxLocals)

Creates a new CFPLocalsLattice instance.

Parameters:

maxLocals - an int value

Method Detail

getLocals

public java.lang.Object[] getLocals(java.lang.Object o)

Extracts the values for the components as an array for an element of this lattice.

Parameters:

o - an Object value

Returns:

an Object[] value

makeElement

public java.lang.Object makeElement(java.lang.Object[] locals)

Creates an element of this lattice from a valid component array.

Parameters:

locals - an Object[] value

Returns:

an Object value

main

public static void main(java.lang.String[] args)

Mini test environment.

Parameters:

args - a String[] value