jif.types.label
Interface Variable

All Known Subinterfaces:

VarLabel, VarPrincipal

All Known Implementing Classes:

VarLabel_c, VarPrincipal_c

public interface Variable

Method Summary

boolean	mustRuntimeRepresentable() Does this var label need to map to a runtime representable label?
java.lang.String	name()
void	setMustRuntimeRepresentable() Set the mustRuntimeRepresentable flag, meaning that any solution for this VarLabel must be to a runtime representable label.

Method Detail

name

java.lang.String name()

setMustRuntimeRepresentable

void setMustRuntimeRepresentable()

Set the mustRuntimeRepresentable flag, meaning that any solution for this VarLabel must be to a runtime representable label.

mustRuntimeRepresentable

boolean mustRuntimeRepresentable()

Does this var label need to map to a runtime representable label?