public class IterateExpOperations extends LoopExpOperations
The following operations are supported:
Check Iterate Type
Check Body Type
Check Result Init
Modifier and Type | Method and Description |
---|---|
static <C,PM> boolean |
checkBodyType(IterateExp<C,PM> iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
body.type.conformsTo(result.type)
|
static <C,PM> boolean |
checkIterateType(IterateExp<C,PM> iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
type = result.type
|
static <C,PM> boolean |
checkResultInit(IterateExp<C,PM> iterateExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
self.result.initExpression->size() = 1
|
checkLoopVariableInit, checkLoopVariableType, checkSourceCollection
public static <C,PM> boolean checkIterateType(IterateExp<C,PM> iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
iterateExp
- The receiving 'Iterate Exp' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
public static <C,PM> boolean checkBodyType(IterateExp<C,PM> iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
iterateExp
- The receiving 'Iterate Exp' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
public static <C,PM> boolean checkResultInit(IterateExp<C,PM> iterateExp, DiagnosticChain diagnostics, Map<Object,Object> context)
iterateExp
- The receiving 'Iterate Exp' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.