org.jmlspecs.jml4.rac
Class RacResult

java.lang.Object
  org.jmlspecs.jml4.rac.RacResult

public class RacResult
extends java.lang.Object

Data structure class to pass various RAC translation results to the caller.

Author:

Yoonsik Cheon and Amritam Sarcar

Field Summary

boolean	inheritingSpecification
boolean	isInheritedGhostFieldUsed True if an inherited ghost field was seen in a method body
boolean	isInheritedModelFieldUsed True if an inherited model field was seen in a method body

Constructor Summary

RacResult()

Method Summary

RacResult

combine(RacResult racResult) Combines the argument to this and returns this result.

Methods inherited from class java.lang.Object

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

Field Detail

isInheritedGhostFieldUsed

public boolean isInheritedGhostFieldUsed

True if an inherited ghost field was seen in a method body

isInheritedModelFieldUsed

public boolean isInheritedModelFieldUsed

True if an inherited model field was seen in a method body

inheritingSpecification

public boolean inheritingSpecification

Constructor Detail

RacResult

public RacResult()

Method Detail

combine

public RacResult combine(RacResult racResult)

Combines the argument to this and returns this result.