Module xl.compiler

Class Place.Mapping

java.lang.Object
de.grogra.xl.compiler.pattern.Place.Mapping
Enclosing class:
Place

public static final class Place.Mapping extends Object
  • Field Details

    • pred

      public final PatternData pred
    • index

      public final int index
  • Method Details

    • getType

      public Type getType()
    • getArgument

      public Argument getArgument()