package de.uni_hamburg.fs;

/**
 * Represents a Type that wraps a Java object, providing access to that object
 * through the Type interface.
 */
public interface JavaType extends Type {

    /**
     * Returns the Java object wrapped by this Type.
     *
     * @return the Java object wrapped by this Type
     */
    public Object getJavaObject();
}