Object.prototype.ext = function(construct, args){
  construct.apply(this, args);
  this._prototypes.push(construct);
}

Object.prototype.instanceOf = function(className){
  if(this.constructor.name===className) return true;
  if(typeof(this._prototypes)==='undefined') return false;
  var res = false;
  for(var i=0; i<this._prototypes.length; i++){
    if(this._prototypes[i].name===className){
      res=true;
      break;
    }
  }
  return res;
}

Object.prototype._ = function(types, func){
  var obj = this;
  this[func.name] = function(){
    var err = TypeError();
    var trace = err.stack.split("\n").slice(3).join("\n");
    if(arguments.length<types.length){
      err.message = 'too few arguments in function '+obj.constructor.name+'.'+func.name+"\n"+trace;
      throw err;
    }
    if(arguments.length>types.length){
      err.message = 'too many arguments in function '+obj.constructor.name+'.'+func.name+"\n"+trace;
      throw err;
    }
    for(var i=0; i<arguments.length; i++){
      if((arguments[i]===null && types[i]!=="null") 
      || (typeof(arguments[i])==='undefined' && types[i]!=='undefined') 
      || !arguments[i].instanceOf(types[i])
      ){
        err.message = 'argument '+(i+1)+' in function '+obj.constructor.name+'.'+func.name+' must be a '+types[i]+' but '+
                      arguments[i].constructor.name+" is given\n"+trace;
        throw err;
      }
    }
    return func.apply(obj, arguments);
  }
}

Object.prototype.__ = function(types, func){
  var obj = this;
  var f = this[func.name];
  this[func.name] = function(){
    var fail = false;
    var err = TypeError();
    err.validateArgumentsError = true;
    var trace = err.stack.split("\n").slice(3).join("\n");
    try{
      try{
        var argsType = [];
        for (var i=0; i<arguments.length; i++){
          argsType.push(arguments[i]!==null && typeof(arguments[i])!=='undefined' 
                      ? arguments[i].constructor.name 
                      : (arguments[i]===null ? 'null' : 'undefined')
          );
        }
        if(arguments.length<types.length){
          err.message = "there are no method "+obj.constructor.name+'.'+func.name+"("+argsType.join(", ")+")\n"+trace;
          throw err;
        }
        if(arguments.length>types.length){
          err.message = "there are no method "+obj.constructor.name+'.'+func.name+"("+argsType.join(", ")+")\n"+trace;
          throw err;
        }
        for(var i=0; i<arguments.length; i++){
          if((arguments[i]===null && types[i]!=="null") 
          || (typeof(arguments[i])==='undefined' && types[i]!=='undefined') 
          || !arguments[i].instanceOf(types[i])
          ){
            err.message = "there are no method "+obj.constructor.name+'.'+func.name+"("+argsType.join(", ")+")\n"+trace;
            throw err;
          }
        }
      }catch(error){
        fail = true;
        if(typeof(f)!=='undefined'){
          return f.apply(obj, arguments);
        }else{
          throw error;
        }
      }
      if (!fail) {return func.apply(obj, arguments);}
    }catch(higherLevelError){
      if(higherLevelError.validateArgumentsError){
        throw err;
      }else{
        throw higherLevelError;
      }
    }
  }
}

function TObject(){
  this._prototypes=[];
}