de.rwth.dfa.jvm.samples
Class CFPComponentLattice

java.lang.Object
  |
  +--de.rwth.domains.templates.FlatCompleteLattice
        |
        +--de.rwth.dfa.jvm.samples.CFPComponentLattice

All Implemented Interfaces:

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

public class CFPComponentLattice

extends FlatCompleteLattice

The lattice used by the constant folding propagation lattices to describe a single value. Its Hasse diagram looks like this:

        ?
  / ... | ... \
 <> ...(any Number) ...
  \ ... | ... / 
        !
 

1. The top element ? represents insufficient information.
2. The element <> is a pseudo constant for a non null reference value.
3. The Number elements represent the numbers.
4. The bottom element ! represents a value which is not constant

Version:

$Id: CFPComponentLattice.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

Field Summary

static java.lang.Object	NONCONSTANTCOMPONENT The bottom element of all these lattices.
static java.lang.Object	NONNULLCOMPONENT The pseudo constant for non null references of all these lattices.
static java.lang.Object	UNKNOWNCOMPONENT The top element of all these lattices.

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

bottom, set, top

Constructor Summary

CFPComponentLattice()
Creates a new CFPComponentLattice instance.

Method Summary

static void

main(java.lang.String[] args) Mini test environment.

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

bottom, equals, isElement, iterator, iteratorSkel, join, le, lt, meet, size, sizeSkel, top

Methods inherited from class java.lang.Object

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

Field Detail

UNKNOWNCOMPONENT

public static final java.lang.Object UNKNOWNCOMPONENT

The top element of all these lattices.

NONNULLCOMPONENT

public static final java.lang.Object NONNULLCOMPONENT

The pseudo constant for non null references of all these lattices.

NONCONSTANTCOMPONENT

public static final java.lang.Object NONCONSTANTCOMPONENT

The bottom element of all these lattices.

Constructor Detail

CFPComponentLattice

public CFPComponentLattice()

Creates a new CFPComponentLattice instance.

Method Detail

main

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

Mini test environment.

Parameters:

args - a String[] value