/*
* SSLInstruction.java - This file is part of the Jakstab project.
* Copyright 2007-2015 Johannes Kinder <jk@jakstab.org>
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, see <http://www.gnu.org/licenses/>.
*/
package org.jakstab.ssl;
import org.jakstab.rtl.expressions.ExpressionFactory;
import org.jakstab.rtl.expressions.RTLVariable;
import org.jakstab.rtl.statements.StatementSequence;
/**
* @author Johannes Kinder
*/
public final class SSLInstruction {
private final RTLVariable[] parameters;
private final String stringRep;
private final int parameterCount;
private final StatementSequence body;
private final String name;
public SSLInstruction(String name, String[] parameters, StatementSequence body) {
super();
this.name = name;
this.body = body;
if (parameters == null || parameters.length == 0 || parameters[0] == null ) {
this.parameters = null;
this.parameterCount = 0;
} else {
int parameterCount = parameters.length;
this.parameters = new RTLVariable[parameters.length];
for (int i=0; i < parameters.length; i++)
if (parameters[i] == null) {
parameterCount = i;
break;
} else {
this.parameters[i] = ExpressionFactory.createVariable(parameters[i]);
}
this.parameterCount = parameterCount;
}
StringBuilder sb = new StringBuilder();
sb.append(this.name);
sb.append('(');
for (int i = 0; i < parameterCount; i++) {
if (i > 0) sb.append(',');
sb.append(parameters[i]);
}
sb.append(')');
stringRep = sb.toString();
}
public RTLVariable getParameter(int i) {
if (parameters == null || i >= parameterCount) return null;
else return parameters[i];
}
public int getParameterCount() {
return parameterCount;
}
public StatementSequence getBody() {
return body;
}
public String getName() {
return name;
}
@Override
public String toString() {
return stringRep;
}
}