Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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?

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD