org.eclipse.ocl.examples.autogen.analyzer
Class AutoFieldingAnalyzer

java.lang.Object
  org.eclipse.ocl.examples.codegen.analyzer.FieldingAnalyzer
      org.eclipse.ocl.examples.autogen.analyzer.AutoFieldingAnalyzer

public class AutoFieldingAnalyzer
extends FieldingAnalyzer

Nested Class Summary

static class	AutoFieldingAnalyzer.AutoAnalysisVisitor
static class	AutoFieldingAnalyzer.AutoRewriteVisitor

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.codegen.analyzer.FieldingAnalyzer

FieldingAnalyzer.AnalysisVisitor, FieldingAnalyzer.RewriteVisitor

Field Summary

Fields inherited from class org.eclipse.ocl.examples.codegen.analyzer.FieldingAnalyzer

analyzer

Constructor Summary

AutoFieldingAnalyzer(AutoAnalyzer analyzer)

Method Summary

protected FieldingAnalyzer.AnalysisVisitor	createAnalysisVisitor()
protected FieldingAnalyzer.RewriteVisitor	createRewriteVisitor(java.util.Set<CGVariable> caughtVariables)

Methods inherited from class org.eclipse.ocl.examples.codegen.analyzer.FieldingAnalyzer

analyze, isValidating, setCaught

Methods inherited from class java.lang.Object

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

Constructor Detail

AutoFieldingAnalyzer

public AutoFieldingAnalyzer(@NonNull
                            AutoAnalyzer analyzer)

Method Detail

createAnalysisVisitor

@NonNull
protected FieldingAnalyzer.AnalysisVisitor createAnalysisVisitor()

Overrides:

createAnalysisVisitor in class FieldingAnalyzer

createRewriteVisitor

@NonNull
protected FieldingAnalyzer.RewriteVisitor createRewriteVisitor(@NonNull
                                                                       java.util.Set<CGVariable> caughtVariables)

Overrides:

createRewriteVisitor in class FieldingAnalyzer