Interface Interner


public interface Interner
A placeholder type that translates into the type of the C++ class that implements an interning service for local names (@Local in Java).
Version:
$Id$
Author:
hsivonen