Adds Type::toString()

Issue: #17
0x7CFE · May 15, 2016 · 8294226 · 8294226
1 parent 1f0da05
commit 8294226
Show file tree

Hide file tree

Showing 2 changed files with 46 additions and 0 deletions.
diff --git a/include/types.h b/include/types.h
@@ -235,6 +235,7 @@ struct TSymbol : public TByteObject {
 // Strings are binary objects that hold raw character bytes.
 struct TString : public TByteObject {
     static const char* InstanceClassName() { return "String"; }
+    std::string toString() const { return std::string(reinterpret_cast<const char*>(bytes), getSize()); }
 };
 
 // Chars are intermediate representation of single printable character

diff --git a/src/TypeAnalyzer.cpp b/src/TypeAnalyzer.cpp
@@ -2,6 +2,51 @@
 
 using namespace type;
 
+std::string Type::toString() const {
+    std::stringstream stream;
+
+    switch (m_kind) {
+        case tkUndefined: return "?";
+        case tkPolytype:  return "*";
+
+        case tkLiteral:
+            if (isSmallInteger(getValue()))
+                stream << TInteger(getValue()).getValue();
+            else if (getValue() == globals.nilObject)
+                return "nil";
+            else if (getValue() == globals.trueObject)
+                return "true";
+            else if (getValue() == globals.falseObject)
+                return "false";
+            else if (getValue()->getClass() == globals.stringClass)
+                stream << "'" << getValue()->cast<TString>()->toString() << "'";
+            else if (getValue()->getClass() == globals.badMethodSymbol->getClass())
+                stream << "'" << getValue()->cast<TSymbol>()->toString() << "'";
+            break;
+
+        case tkMonotype:
+            stream << "(" << getValue()->cast<TClass>()->name->toString() << ")";
+            break;
+
+        case tkArray:
+            stream << getValue()->cast<TClass>()->name->toString();
+        case tkComposite: {
+            stream << (m_kind == tkComposite ? "(" : "[");
+
+            for (std::size_t index = 0; index < getSubTypes().size(); index++) {
+                if (index)
+                    stream << ", ";
+
+                stream << m_subTypes[index].toString();
+            }
+
+            stream << (m_kind == tkComposite ? ")" : "]");
+        };
+    }
+
+    return stream.str();
+}
+
 void TypeAnalyzer::processInstruction(const InstructionNode& instruction) {
     const TSmalltalkInstruction::TArgument argument = instruction.getInstruction().getArgument();