comma::Bridge Class Reference

#include <Bridge.h>

Inheritance diagram for comma::Bridge:

[legend]

List of all members.

Public Member Functions
virtual void	deleteNode (Node node)=0
virtual void	beginSignatureDefinition (IdentifierInfo *name, Location loc)=0
virtual void	beginDomainDefinition (IdentifierInfo *name, Location loc)=0
virtual void	endModelDefinition ()=0
virtual Node	acceptModelParameter (IdentifierInfo *formal, Node typeNode, Location loc)=0
virtual void	acceptModelParameterList (Node *params, Location *locs, unsigned arity)=0
virtual Node	acceptModelSupersignature (Node typeNode, Location loc)=0
virtual void	acceptModelSupersignatureList (Node *sigs, unsigned numSigs)=0
virtual Node	acceptSignatureComponent (IdentifierInfo *name, Node typeNode, Location loc)=0
virtual void	acceptSignatureComponentList (Node *components, unsigned numComponents)=0
virtual Node	acceptPercent (Location loc)=0
virtual Node	acceptTypeIdentifier (IdentifierInfo *info, Location loc)=0
virtual Node	acceptTypeApplication (IdentifierInfo *connective, Node *argumentNodes, Location *argumentLocs, unsigned numArgs, IdentifierInfo **selectors, Location *selectorLocs, unsigned numSelectors, Location loc)=0
virtual Node	acceptFunctionType (IdentifierInfo **formals, Location *formalLocations, Node *types, Location *typeLocations, unsigned arity, Node returnType, Location returnLocation)=0

---

Detailed Description

Definition at line 41 of file Bridge.h.

---

Member Function Documentation

virtual Node comma::Bridge::acceptFunctionType	(	IdentifierInfo **	formals,
		Location *	formalLocations,
		Node *	types,
		Location *	typeLocations,
		unsigned	arity,
		Node	returnType,
		Location	returnLocation
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual Node comma::Bridge::acceptModelParameter	(	IdentifierInfo *	formal,
		Node	typeNode,
		Location	loc
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual void comma::Bridge::acceptModelParameterList	(	Node *	params,
		Location *	locs,
		unsigned	arity
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual Node comma::Bridge::acceptModelSupersignature	(	Node	typeNode,
		Location	loc
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual void comma::Bridge::acceptModelSupersignatureList	(	Node *	sigs,
		unsigned	numSigs
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual Node comma::Bridge::acceptPercent

(

Location

loc

)

[pure virtual]

Implemented in comma::TypeCheck.

virtual Node comma::Bridge::acceptSignatureComponent	(	IdentifierInfo *	name,
		Node	typeNode,
		Location	loc
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual void comma::Bridge::acceptSignatureComponentList	(	Node *	components,
		unsigned	numComponents
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual Node comma::Bridge::acceptTypeApplication	(	IdentifierInfo *	connective,
		Node *	argumentNodes,
		Location *	argumentLocs,
		unsigned	numArgs,
		IdentifierInfo **	selectors,
		Location *	selectorLocs,
		unsigned	numSelectors,
		Location	loc
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual Node comma::Bridge::acceptTypeIdentifier	(	IdentifierInfo *	info,
		Location	loc
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual void comma::Bridge::beginDomainDefinition	(	IdentifierInfo *	name,
		Location	loc
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual void comma::Bridge::beginSignatureDefinition	(	IdentifierInfo *	name,
		Location	loc
	)			[pure virtual]

Implemented in comma::TypeCheck.

virtual void comma::Bridge::deleteNode

(

Node

node

)

[pure virtual]

Implemented in comma::TypeCheck.

virtual void comma::Bridge::endModelDefinition

(

)

[pure virtual]

Implemented in comma::TypeCheck.

---

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

• include/comma/parser/Bridge.h