Module xl.compiler

Package de.grogra.xl.compiler.pattern

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 Summary

Fields

Modifier and Type	Field	Description
final int	index
final PatternData	pred

Method Summary

Modifier and Type	Method	Description
Argument	getArgument()
Type	getType()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

pred

public final PatternData pred

index

public final int index

Method Details

getType

public Type getType()

getArgument

public Argument getArgument()