de.rwth.dfa.jvm.samples
Class SSLattice

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

All Implemented Interfaces:

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

public class SSLattice

extends FlatCompleteLattice

The lattice used by SSAbstraction. For a maximal stack size n, the lattice looks like this

    ?size? 
  /  | ... \  
 0   1  ... n
  \  | ... /
 size errornous
 

An Integer represents a valid stack size. The top element represents insufficient information and the bottom element represents not uniquely determined stack size. The latter is not possible in class files which are accepted by a JVM.

Version:

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

bottom, set, top

Constructor Summary

SSLattice(int maxStack)
Creates a new SSLattice 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

Constructor Detail

SSLattice

public SSLattice(int maxStack)

Creates a new SSLattice instance.

Parameters:

maxStack - an int value

Method Detail

main

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

Mini test environment.

Parameters:

args - a String[] value