#include <include/type.h>
Inheritance diagram for UnionType:
Definition at line 549 of file type.h.
Public Member Functions | |
void | addType (Type *n, const char *str) |
virtual Type * | clone () const |
Type * | dereferenceUnion () |
bool | findType (Type *ty) |
virtual const char * | getCtype (bool final=false) const |
int | getNumTypes () const |
virtual unsigned | getSize () const |
virtual bool | isCompatible (Type *other, bool all) |
virtual bool | isCompatibleWith (Type *other, bool all) |
virtual bool | isUnion () const |
virtual Exp * | match (Type *pattern) |
virtual Type * | meetWith (Type *other, bool &ch, bool bHighestPtr) |
virtual bool | operator< (const Type &other) const |
virtual bool | operator== (const Type &other) const |
UnionType () | |
virtual | ~UnionType () |
Private Attributes | |
std::list< UnionElement > | li |
Friends | |
class | XMLProgParser |
|
Definition at line 135 of file type.cpp. Referenced by clone(). |
|
|
|
Definition at line 1499 of file type.cpp. References Type::isUnion(), and li. Referenced by clone(), dereferenceUnion(), and DfaTest::testMeetUnion(). |
|
Implements Type. Definition at line 230 of file type.cpp. References addType(), li, and UnionType(). |
|
Definition at line 1491 of file dfa.cpp. References addType(), Type::dereference(), li, and nextUnionNumber. Referenced by Type::dereference(). |
|
Definition at line 1195 of file type.cpp. References li. |
|
Implements Type. Definition at line 845 of file type.cpp. Referenced by DfaTest::testMeetUnion(). |
|
Definition at line 561 of file type.h. References li. Referenced by operator<(). |
|
Implements Type. |
|
Implements Type. Definition at line 1420 of file dfa.cpp. References isCompatible(), li, Type::resolvesToUnion(), and Type::resolvesToVoid(). Referenced by isCompatible(), and isCompatibleWith(). |
|
Reimplemented from Type. Definition at line 579 of file type.h. References isCompatible(). |
|
Reimplemented from Type. |
|
Reimplemented from Type. Definition at line 716 of file type.cpp. References Type::match(). |
|
Implements Type. Definition at line 576 of file dfa.cpp. References li, Type::resolvesToUnion(), and Type::resolvesToVoid(). Referenced by DfaTest::testMeetUnion(). |
|
Implements Type. Definition at line 616 of file type.cpp. References Type::getId(), and getNumTypes(). |
|
Implements Type. Definition at line 492 of file type.cpp. References Type::isUnion(), and li. |
|
Reimplemented from Type. |
|
Definition at line 553 of file type.h. Referenced by addType(), clone(), dereferenceUnion(), findType(), getCtype(), getNumTypes(), getSize(), isCompatible(), meetWith(), and operator==(). |