de.uka.ilkd.key.parser

Class IdDeclaration

java.lang.Object

de.uka.ilkd.key.parser.IdDeclaration

public class IdDeclaration
extends java.lang.Object

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
IdDeclaration(java.lang.String p_name, Sort p_sort)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getName()
Sort	getSort()

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

sort

private Sort sort

Constructor Detail

IdDeclaration

public IdDeclaration(java.lang.String p_name,
                     Sort p_sort)

Method Detail

getName

public java.lang.String getName()

getSort

public Sort getSort()