de.uka.ilkd.key.util.mergerule

Class MergeParamsSpec

java.lang.Object

de.uka.ilkd.key.util.mergerule.MergeParamsSpec

public class MergeParamsSpec
extends java.lang.Object

Specification of merge parameters for the creation of MergeContracts; this is used by KeYJMLParser.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	latticeType
private LocationVariable	placeholder
private ImmutableList<Term>	predicates

Constructor Summary

Constructors

Constructor and Description
MergeParamsSpec(java.lang.String latticeType, LocationVariable placeholder, ImmutableList<Term> predicates)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getLatticeType()
LocationVariable	getPlaceholder()
ImmutableList<Term>	getPredicates()

Methods inherited from class java.lang.Object

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

Field Detail

latticeType

private final java.lang.String latticeType

placeholder

private final LocationVariable placeholder

predicates

private final ImmutableList<Term> predicates

Constructor Detail

MergeParamsSpec

public MergeParamsSpec(java.lang.String latticeType,
                       LocationVariable placeholder,
                       ImmutableList<Term> predicates)

Method Detail

getLatticeType

public java.lang.String getLatticeType()

getPlaceholder

public LocationVariable getPlaceholder()

getPredicates

public ImmutableList<Term> getPredicates()