Instance Struct Reference

#include <Typeclass.hxx>


Public Member Functions

 Instance (boost::shared_ptr< TypeScheme > _ts, boost::shared_ptr< AST >_ins)
bool equals (boost::shared_ptr< Instance > ins, boost::shared_ptr< const InstEnvironment > instEnv) const
bool overlaps (boost::shared_ptr< Instance > ins) const
bool satisfies (boost::shared_ptr< Typeclass > pred, boost::shared_ptr< const InstEnvironment > instEnv) const
std::string asString () const
std::string asXML ()
void asXML (sherpa::INOstream &out)
int operator< (const struct Instance &rhs) const

Static Public Member Functions

static boost::shared_ptr<
Instance > 		make (boost::shared_ptr< TypeScheme > _ts, boost::shared_ptr< AST >_ins)

Data Fields

boost::shared_ptr< TypeScheme > ts
boost::shared_ptr< AST > ast

Detailed Description

Definition at line 61 of file Typeclass.hxx.

Constructor & Destructor Documentation

Instance::Instance ( boost::shared_ptr< TypeScheme >  _ts,
boost::shared_ptr< AST >  _ins 
) [inline]

Definition at line 65 of file Typeclass.hxx.

References ast, and ts.

Referenced by make().

Member Function Documentation

std::string Instance::asString (  )  const

Definition at line 853 of file Type-pp.cxx.

References ts.

Referenced by operator<().

void Instance::asXML ( sherpa::INOstream &  out  ) 

Definition at line 468 of file Type-xml.cxx.

References boost::GC_NULL, and ts.

std::string Instance::asXML (  ) 

Definition at line 474 of file Type-xml.cxx.

References ts.

bool Instance::equals ( boost::shared_ptr< Instance >  ins,
boost::shared_ptr< const InstEnvironment >  instEnv 
) const

static boost::shared_ptr<Instance> Instance::make ( boost::shared_ptr< TypeScheme >  _ts,
boost::shared_ptr< AST >  _ins 
) [inline, static]

Definition at line 72 of file Typeclass.hxx.

References Instance().

Referenced by InferInstance().

int Instance::operator< ( const struct Instance &  rhs  )  const [inline]

Definition at line 87 of file Typeclass.hxx.

References asString().

bool Instance::overlaps ( boost::shared_ptr< Instance >  ins  )  const

Definition at line 128 of file Typeclass.cxx.

References ts.

bool Instance::satisfies ( boost::shared_ptr< Typeclass >  pred,
boost::shared_ptr< const InstEnvironment >  instEnv 
) const

Field Documentation

boost::shared_ptr<AST> Instance::ast

Definition at line 63 of file Typeclass.hxx.

Referenced by Instance().

boost::shared_ptr<TypeScheme> Instance::ts

Definition at line 62 of file Typeclass.hxx.

Referenced by asString(), asXML(), Instance(), and overlaps().

The documentation for this struct was generated from the following files:
Generated on Sat Feb 4 23:59:29 2012 for BitC Compiler by  doxygen 1.4.7