org.clafer.ast

Interface AstVar

All Known Implementing Classes:

AstAbstractClafer, AstBoolClafer, AstClafer, AstConcreteClafer, AstIntClafer, AstLocal, AstModel, AstPrimClafer

public interface AstVar

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
String	getName() Returns the name of the variable.

Method Detail

getName

String getName()

Returns the name of the variable. Two variables with the same name are still different variables. The name is simply for readability.

Returns:

the name of the variable