/*
* Licensed to Elasticsearch under one or more contributor
* license agreements. See the NOTICE file distributed with
* this work for additional information regarding copyright
* ownership. Elasticsearch licenses this file to you under
* the Apache License, Version 2.0 (the "License"); you may
* not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing,
* software distributed under the License is distributed on an
* "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
* KIND, either express or implied. See the License for the
* specific language governing permissions and limitations
* under the License.
*/
package org.elasticsearch.painless.node;
import org.elasticsearch.painless.Definition;
import org.elasticsearch.painless.Globals;
import org.elasticsearch.painless.Locals;
import org.elasticsearch.painless.Location;
import org.elasticsearch.painless.MethodWriter;
import org.objectweb.asm.Label;
import org.objectweb.asm.Opcodes;
import java.util.Objects;
import java.util.Set;
/**
* Represents an if block.
*/
public final class SIf extends AStatement {
AExpression condition;
final SBlock ifblock;
public SIf(Location location, AExpression condition, SBlock ifblock) {
super(location);
this.condition = Objects.requireNonNull(condition);
this.ifblock = ifblock;
}
@Override
void extractVariables(Set<String> variables) {
condition.extractVariables(variables);
if (ifblock != null) {
ifblock.extractVariables(variables);
}
}
@Override
void analyze(Locals locals) {
condition.expected = Definition.BOOLEAN_TYPE;
condition.analyze(locals);
condition = condition.cast(locals);
if (condition.constant != null) {
throw createError(new IllegalArgumentException("Extraneous if statement."));
}
if (ifblock == null) {
throw createError(new IllegalArgumentException("Extraneous if statement."));
}
ifblock.lastSource = lastSource;
ifblock.inLoop = inLoop;
ifblock.lastLoop = lastLoop;
ifblock.analyze(Locals.newLocalScope(locals));
anyContinue = ifblock.anyContinue;
anyBreak = ifblock.anyBreak;
statementCount = ifblock.statementCount;
}
@Override
void write(MethodWriter writer, Globals globals) {
writer.writeStatementOffset(location);
Label fals = new Label();
condition.write(writer, globals);
writer.ifZCmp(Opcodes.IFEQ, fals);
ifblock.continu = continu;
ifblock.brake = brake;
ifblock.write(writer, globals);
writer.mark(fals);
}
@Override
public String toString() {
return singleLineToString(condition, ifblock);
}
}