org.jmlspecs.jml4.fspv.simpl.ast
Class SimplDefinition

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplDeclaration
          org.jmlspecs.jml4.fspv.simpl.ast.SimplDefinition

public class SimplDefinition
extends SimplDeclaration

Field Summary

SimplExpression	expression
java.lang.String	name

Constructor Summary

SimplDefinition(java.lang.String name, SimplExpression expression)

Method Summary

SimplDefinitionReference	getDefinitionReference()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

name

public final java.lang.String name

expression

public final SimplExpression expression

Constructor Detail

SimplDefinition

public SimplDefinition(java.lang.String name,
                       SimplExpression expression)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getDefinitionReference

public final SimplDefinitionReference getDefinitionReference()