EventualRegister

All Known Implementing Classes:: DeducePhase, DefaultEventualRegister, GenerateFunctions, PipelineLogic, Resolve_Ident_IA2

public interface EventualRegister

Method Summary

Modifier and Type

Method

Description

void

checkFinishEventuals()

<P> void

register(Eventual<P> e)

Method Details
- register
  
  <P> void register(Eventual<P> e)
- checkFinishEventuals
  
  void checkFinishEventuals()