package req XOTcl
package require xotcl::test

::xotcl::use xotcl2

Object create o {
  :alias set ::set
}

Class create C {
  :method m {x} {return proc-[self proc]}
  :object method mpo {} {return instproc-[self proc]}
  :method m-with-assertions {} {return proc-[self proc]} -precondition 1 -postcondition 2

  :forward addOne expr 1 +
  :object forward add1 expr 1 +
  :object forward fpo ::o

  :setter s 
  :object setter spo

  :alias a ::set
  :object alias apo ::puts
}
C create c1

? {lsort [C info methods -callprotection all]} "a addOne m m-with-assertions s"
#? {lsort [C info methods]} "a addOne s"
foreach m [lsort [C info methods -callprotection all]] {
  ? [subst -nocommands {lsort [c1 info callable $m]}] $m
}
? {C info method definition a} "::C alias a ::set"
? {c1 info callable -which a} "::C alias a ::set"
? {c1 info callable -which addOne} "::C forward addOne expr 1 +"
? {c1 info callable -which m} {::C method m x {return proc-[self proc]}}
? {c1 info callable -which s} "::C setter s"
c1 method foo {} {puts foo}
? {c1 info method definition foo} "::c1 method foo {} {puts foo}"
? {c1 info callable -which foo} "::c1 method foo {} {puts foo}"

? {C info method name m} "::xotcl::classes::C::m"
? {C object info method name mpo} "::C::mpo"

? {C info method definition m} {::C method m x {return proc-[self proc]}}
? {C info method def m} {::C method m x {return proc-[self proc]}}
? {C object info method definition mpo} {::C object method mpo {} {return instproc-[self proc]}}
? {C info method definition m-with-assertions} \
    {::C method m-with-assertions {} {return proc-[self proc]} -precondition 1 -postcondition 2}
? {C info method parameter m} {x}
? {Class info method parameter method} \
    {name arguments body -precondition -postcondition}
? {Object info method parameter alias} \
    {{-objscope:switch 0} methodName cmd}
# raises currently an error
? {catch {C info method parameter a}} 1
  
? {C info method definition addOne} "::C forward addOne expr 1 +"
? {C object info method definition add1} "::C object forward add1 expr 1 +"
? {C object info method definition fpo} "::C object forward fpo ::o"

? {C info method definition s} "::C setter s"
? {C object info method definition spo} "::C object setter spo"

? {C info method definition a} "::C alias a ::set"
? {C object info method definition apo} "::C object alias apo ::puts"


? {::xotcl2::Object info callable -application} ""
? {::xotcl2::Class info callable -application} ""
? {lsort [C info callable -application]} "add1 apo fpo mpo spo"
? {lsort [c1 info callable -application]} "a addOne foo m m-with-assertions s"