public interface TypedStructure
Modifier and Type | Method and Description |
---|---|
void |
addArgumentType(Sort argType)
Adds the given Sort as argument type to the typed Structure
|
TypedStructure |
clone()
Creates a deep copy of this object
|
java.util.List<Sort> |
getArgumentTypes() |
int |
getArity() |
java.lang.String |
getName() |
boolean |
isComplete() |
boolean |
isTyped() |
Sort |
removeArgumentType(int index)
Removes the argument type at the specified index
|
boolean |
removeArgumentType(Sort argType)
Removes the given Sort from the list of argument types
|
void |
setArity(int arity)
Sets the arity of this structure
|
void |
setName(java.lang.String name)
Changes the name of the Structure
|
java.lang.String getName()
void setName(java.lang.String name) throws LanguageException
name
- The new name of the structureLanguageException
- if the new name is illegal in the language.int getArity()
void setArity(int arity) throws LanguageException
arity
- the new arityLanguageException
- if the new arity has an illegal value in the languagejava.util.List<Sort> getArgumentTypes()
void addArgumentType(Sort argType) throws LanguageException
argType
- The Sort descibing the argument typeLanguageException
Sort removeArgumentType(int index) throws LanguageException
index
- The indexLanguageException,
- IndexOutOfBoundsExceptionLanguageException
boolean removeArgumentType(Sort argType) throws LanguageException
argType
- The Sort which is removedLanguageException
boolean isTyped()
boolean isComplete()
TypedStructure clone()