Package eu.bandm.tools.lljava.absy

Class VariableFinder.Snapshot

java.lang.Object

eu.bandm.tools.lljava.absy.VariableFinder.Snapshot

Enclosing class:

VariableFinder

class VariableFinder.Snapshot
extends Object

Constructor Summary

Constructors

Constructor	Description
Snapshot(int size)
Snapshot(VariableFinder.Snapshot pre)

Method Summary

Modifier and Type	Method	Description
String	toString()
void	trim()

Methods inherited from class java.lang.Object

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

Constructor Details

Snapshot

Snapshot(int size)

Snapshot

Snapshot(VariableFinder.Snapshot pre)

Method Details

toString

public String toString()

Overrides:

toString in class Object

trim

public void trim()