Package eu.bandm.tools.lljava.absy

Class VariableFinder

java.lang.Object

eu.bandm.tools.lljava.absy.VariableFinder

public class VariableFinder
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) class	VariableFinder.Equalizer
(package private) static class	VariableFinder.Instance
(package private) static class	VariableFinder.Parameter
(package private) class	VariableFinder.Snapshot
(package private) static class	VariableFinder.This
(package private) static class	VariableFinder.Unusable
(package private) class	VariableFinder.Variable
(package private) static class	VariableFinder.Written

Constructor Summary

Constructors

Constructor	Description
VariableFinder()

Method Summary

Modifier and Type	Method	Description
void	find(ControlFlowSynthesizer synth)
(package private) void	zip(EquivalenceRelation<VariableFinder.Instance> rel, VariableFinder.Snapshot s, VariableFinder.Snapshot t)

Methods inherited from class java.lang.Object

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

Constructor Details

VariableFinder

public VariableFinder()

Method Details

zip

void zip(EquivalenceRelation<VariableFinder.Instance> rel,
 VariableFinder.Snapshot s,
 VariableFinder.Snapshot t)

find

public void find(ControlFlowSynthesizer synth)