summaryrefslogtreecommitdiff
path: root/src/wasm-type.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/wasm-type.h')
-rw-r--r--src/wasm-type.h9
1 files changed, 8 insertions, 1 deletions
diff --git a/src/wasm-type.h b/src/wasm-type.h
index 1b7d389ca..41a89d4fe 100644
--- a/src/wasm-type.h
+++ b/src/wasm-type.h
@@ -204,6 +204,9 @@ public:
// Returns true if left is a subtype of right. Subtype includes itself.
static bool isSubType(Type left, Type right);
+ // Return the ordered HeapType children, looking through child Types.
+ std::vector<HeapType> getHeapTypeChildren();
+
// Computes the least upper bound from the type lattice.
// If one of the type is unreachable, the other type becomes the result. If
// the common supertype does not exist, returns none, a poison value.
@@ -361,10 +364,14 @@ public:
// Order heap types by some notion of simplicity.
bool operator<(const HeapType& other) const;
- std::string toString() const;
// Returns true if left is a subtype of right. Subtype includes itself.
static bool isSubType(HeapType left, HeapType right);
+
+ // Return the ordered HeapType children, looking through child Types.
+ std::vector<HeapType> getHeapTypeChildren();
+
+ std::string toString() const;
};
typedef std::vector<Type> TypeList;