/** * Find the scope to use for flip-flops. Flip-flops live either in the * topmost "method scope" or in their nearest containing "eval scope". * * @return The scope to use for flip-flops */ public DynamicScope getFlipScope() { if (staticScope.getLocalScope() == staticScope) { return this; } else { return parent.getFlipScope(); } }
/** * Find the scope to use for flip-flops. Flip-flops live either in the * topmost "method scope" or in their nearest containing "eval scope". * * @return The scope to use for flip-flops */ public DynamicScope getFlipScope() { if (staticScope.getLocalScope() == staticScope) { return this; } else { return parent.getFlipScope(); } }
/** * Find the scope to use for flip-flops. Flip-flops live either in the * topmost "method scope" or in their nearest containing "eval scope". * * @return The scope to use for flip-flops */ public DynamicScope getFlipScope() { if (staticScope.getLocalScope() == staticScope) { return this; } else { return parent.getFlipScope(); } }
/** * Find the scope to use for flip-flops. Flip-flops live either in the * topmost "method scope" or in their nearest containing "eval scope". * * @return The scope to use for flip-flops */ public DynamicScope getFlipScope() { if (staticScope.getLocalScope() == staticScope) { return this; } else { return parent.getFlipScope(); } }
DynamicScope flipScope = scope.getFlipScope(); flipScope.growIfNeeded();
DynamicScope flipScope = scope.getFlipScope(); flipScope.growIfNeeded();