de.uka.ilkd.key.java.abstraction

Class Package

java.lang.Object

de.uka.ilkd.key.java.abstraction.Package

All Implemented Interfaces:

ClassTypeContainer, ProgramModelElement, ModelElement, NamedModelElement

public class Package
extends java.lang.Object
implements ClassTypeContainer

A program model element representing packages.

Author:

AL, RN

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	name

Constructor Summary

Constructors

Constructor and Description
Package(java.lang.String name) Creates a new package with the given name, organized by the given program model info.

Method Summary

Modifier and Type	Method and Description
ClassTypeContainer	getContainer() Returns the enclosing package or class type, or method.
java.lang.String	getFullName() Returns the name of this package.
java.lang.String	getName() Returns the name of this package.
Package	getPackage() Returns the enclosing package.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

name

private java.lang.String name

Constructor Detail

Package

public Package(java.lang.String name)

Creates a new package with the given name, organized by the given program model info.

Parameters:

name - the name of the package.

Method Detail

getName

public java.lang.String getName()

Returns the name of this package.

Specified by:

getName in interface NamedModelElement

Returns:

the name of this package.

getFullName

public java.lang.String getFullName()

Returns the name of this package.

Specified by:

getFullName in interface ProgramModelElement

Returns:

the full name of this program model element.

getContainer

public ClassTypeContainer getContainer()

Returns the enclosing package or class type, or method.

Returns:

null.

getPackage

public Package getPackage()

Returns the enclosing package.

Returns:

null.