diff --git a/src/Builtin.cpp b/src/Builtin.cpp index f4f8fa1..bfb4d9d 100644 --- a/src/Builtin.cpp +++ b/src/Builtin.cpp @@ -258,30 +258,8 @@ GeneralBuiltin::GeneralBuiltin( u1 GeneralBuiltin::classof( Value const* obj ) { - return obj->id() == classid() or SelfBuiltin::classof( obj ) - or AbortBuiltin::classof( obj ) or AssertBuiltin::classof( obj ) - or OutputBuiltin::classof( obj ); -} - -// -// SelfBuiltin -// - -SelfBuiltin::SelfBuiltin( const Type::Ptr& type ) -: GeneralBuiltin( type, info, classid() ) -{ -} - -const Annotation SelfBuiltin::info( classid(), - Annotation::Data{ - - { Type::RULE_REFERENCE, {} }, - - } ); - -u1 SelfBuiltin::classof( Value const* obj ) -{ - return obj->id() == classid(); + return obj->id() == classid() or AbortBuiltin::classof( obj ) + or AssertBuiltin::classof( obj ) or OutputBuiltin::classof( obj ); } // diff --git a/src/Builtin.h b/src/Builtin.h index 1034b69..fd3086f 100644 --- a/src/Builtin.h +++ b/src/Builtin.h @@ -87,23 +87,6 @@ namespace libcasm_ir static u1 classof( Value const* obj ); }; - class SelfBuiltin final : public GeneralBuiltin - { - public: - using Ptr = std::shared_ptr< SelfBuiltin >; - - SelfBuiltin( const Type::Ptr& type ); - - static const Annotation info; - - static inline Value::ID classid( void ) - { - return Value::SELF_BUILTIN; - } - - static u1 classof( Value const* obj ); - }; - class AbortBuiltin final : public GeneralBuiltin { public: diff --git a/src/Value.cpp b/src/Value.cpp index 27f18d8..8ac7ad4 100644 --- a/src/Value.cpp +++ b/src/Value.cpp @@ -476,10 +476,6 @@ std::string Value::token( const Value::ID id ) { return "GeneralBuiltin"; } - case Value::SELF_BUILTIN: - { - return "self"; - } case Value::ABORT_BUILTIN: { return "abort"; diff --git a/src/Value.h b/src/Value.h index 0fe6021..72a225c 100644 --- a/src/Value.h +++ b/src/Value.h @@ -126,7 +126,6 @@ namespace libcasm_ir BUILTIN, GENERAL_BUILTIN, - SELF_BUILTIN, ABORT_BUILTIN, ASSERT_BUILTIN, diff --git a/uts/Value.cpp b/uts/Value.cpp index 2cb5716..7fdc8b0 100644 --- a/uts/Value.cpp +++ b/uts/Value.cpp @@ -376,11 +376,6 @@ TEST( libcasm_ir_Value, id_to_token_string ) EXPECT_STREQ( Value::token( id ).c_str(), "GeneralBuiltin" ); break; } - case Value::SELF_BUILTIN: - { - EXPECT_STREQ( Value::token( id ).c_str(), "self" ); - break; - } case Value::ABORT_BUILTIN: { EXPECT_STREQ( Value::token( id ).c_str(), "abort" );