public class TimerWithinGuardForge extends Object implements GuardForge, ScheduleHandleCallbackProvider
TimerWithinGuard
instances.Constructor and Description |
---|
TimerWithinGuardForge() |
Modifier and Type | Method and Description |
---|---|
void |
collectSchedule(List<ScheduleHandleCallbackProvider> schedules) |
CodegenExpression |
makeCodegen(CodegenMethodScope parent,
SAIFFInitializeSymbol symbols,
CodegenClassScope classScope) |
void |
setGuardParameters(List<ExprNode> parameters,
MatchedEventConvertorForge convertor,
StatementCompileTimeServices services)
Sets the guard object parameters.
|
void |
setScheduleCallbackId(int id) |
public void setScheduleCallbackId(int id)
setScheduleCallbackId
in interface ScheduleHandleCallbackProvider
public void setGuardParameters(List<ExprNode> parameters, MatchedEventConvertorForge convertor, StatementCompileTimeServices services) throws GuardParameterException
GuardForge
setGuardParameters
in interface GuardForge
parameters
- is a list of parametersconvertor
- for converting aservices
- servicesGuardParameterException
- thrown to indicate a parameter problempublic void collectSchedule(List<ScheduleHandleCallbackProvider> schedules)
collectSchedule
in interface GuardForge
public CodegenExpression makeCodegen(CodegenMethodScope parent, SAIFFInitializeSymbol symbols, CodegenClassScope classScope)
makeCodegen
in interface GuardForge
Copyright © 2005–2018. All rights reserved.