/*實現Oracle面向物件中的抽象型別*/

/*建立抽象型別規範*/
create or replace type ty_test
is object
(
  x number,
 not instantiable member procedure pro_test(temp varchar2)
)
not instantiable
not final;

/*建立一個子型別規範，該型別繼承自抽象型別*/
create or replace type ty_son under ty_test
(
 y number,
 overriding member procedure pro_test(temp varchar2)
)

/*建立型別主體，該型別實現了抽象型別中的抽象儲存過程*/
create or replace type body ty_son
is
 overriding member procedure pro_test(temp varchar2)
 is
  begin
   dbms_output.put_line(temp);
  end pro_test; 
end;

/*呼叫*/
declare
 ty ty_son;
 begin
  ty:=ty_son(5,8);
  ty.pro_test('aaa');
  dbms_output.put_line(ty.x||ty.y);
 end;