edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor Class Reference

Inherits edu::mit::csail::sdg::squander::specfile::parser::SpecFileVisitor< List< Source > >.

Collaboration diagram for edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor:

[legend]

List of all members.

Public Member Functions
	MyVisitor (JType.Unary jtype)
Protected Member Functions
List< Source >	visitInvariant (Node n)
List< Source >	visitSpecField (Node n)
List< Source >	visitFuncField (Node n)
List< Source >	visitSpecFile (String modifiers, String name, List< String > paramNames, List< List< Source >> specSources)
Private Member Functions
String	replaceParamTypes (String source, List< String > paramNames)
String	escapeClsName (String name)
Private Attributes
final JType.Unary	jtype
final NameSpace	ns

---

Detailed Description

Definition at line 29 of file SpecFileSpecProvider.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.MyVisitor

(

JType.Unary

jtype

)

Definition at line 34 of file SpecFileSpecProvider.java.

References edu.mit.csail.sdg.squander.spec.NameSpace.forClass(), edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.jtype, and edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.ns.

---

Member Function Documentation

String edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.escapeClsName

(

String

name

)

[private]

Definition at line 102 of file SpecFileSpecProvider.java.

Referenced by edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.replaceParamTypes().

String edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.replaceParamTypes	(	String	source,
		List< String >	paramNames
	)			[private]

Definition at line 76 of file SpecFileSpecProvider.java.

References edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.escapeClsName(), edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.jtype, and edu.mit.csail.sdg.squander.spec.JType.name().

Referenced by edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.visitSpecFile().

List<Source> edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.visitFuncField

(

Node

n

)

[protected]

Definition at line 56 of file SpecFileSpecProvider.java.

References edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.ns.

List<Source> edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.visitInvariant

(

Node

n

)

[protected]

Definition at line 40 of file SpecFileSpecProvider.java.

References edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.ns.

List<Source> edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.visitSpecField

(

Node

n

)

[protected]

Definition at line 48 of file SpecFileSpecProvider.java.

References edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.ns.

List<Source> edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.visitSpecFile	(	String	modifiers,
		String	name,
		List< String >	paramNames,
		List< List< Source >>	specSources
	)			[protected]

Definition at line 64 of file SpecFileSpecProvider.java.

References edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.ns, and edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.replaceParamTypes().

---

Member Data Documentation

final JType.Unary edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.jtype [private]

Definition at line 31 of file SpecFileSpecProvider.java.

Referenced by edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.MyVisitor(), and edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.replaceParamTypes().

final NameSpace edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.ns [private]

Definition at line 32 of file SpecFileSpecProvider.java.

Referenced by edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.MyVisitor(), edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.visitFuncField(), edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.visitInvariant(), edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.visitSpecField(), and edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.visitSpecFile().

---

The documentation for this class was generated from the following file:

• src/edu/mit/csail/sdg/squander/spec/SpecFileSpecProvider.java