SKILL++ private functions

In addition is it possible to give a set of procedures their own private procedure

 procedure( fun1() private1() )

  procedure( fun2() private1() )

For the second post, you can do this:

let(()
  procedure(private1()
    println("This is private")
  )
  globalProc(fun1() private1())
  globalProc(fun2() private1())
)

Put this in a file called "mycode.ils" (the .ils suffix is important). This will then use lexical scoping. The globalProc tells SKILL that the function should be visible in the global scope, rather than only in the lexical scope. globalProc is available from IC615 onwards. If using IC614 or before (or IC5141 or before), you can achieve the same end by doing:

let(()
  procedure(private1()
    println("This is private")
  )
  procedure(localfun1() private1())
  procedure(localfun2() private1())
  ; functions can be retrieve as variables in SKILL++, so assign
  ; to non-local variable names to make the functions available
  ; in the global scope
  fun1=localfun1
  fun2=localfun2
) 

As for your first post, I'm not entirely sure what you mean. But it's probably this:

defclass( Example () () )

let(()
  procedure(private1()
    println("This is private")
  )
  defmethod(Fun ((obj Example))
    private1()
  )
)

defmethod inside a let does not make it local - that's because the generic function is global, essentially. But it will honour the lexical scoping - so you can call a function in the same lexical scope.

Kind Regards,

Andrew.