Built-ins

* removed 'self' built in, due to the new AST-based definition and it is
  general a AST-only feature
  - see ref sealangdotorg/sea#19
  - see ref sealangdotorg/sea#20
  - see ref sealangdotorg/sea#22

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 );
 }
 
 //

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:

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";

src/Value.h

@@ -126,7 +126,6 @@ namespace libcasm_ir
             BUILTIN,
 
             GENERAL_BUILTIN,
-            SELF_BUILTIN,
             ABORT_BUILTIN,
             ASSERT_BUILTIN,
 

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" );