const ACTION: BST_APPEND is action "BST_APPEND";
const ACTION: BST_CMP is action "BST_CMP";
const ACTION: BST_CPY is action "BST_CPY";
const ACTION: BST_EQ is action "BST_EQ";
const ACTION: BST_HASHCODE is action "BST_HASHCODE";
const ACTION: BST_IDX is action "BST_IDX";
const ACTION: BST_LNG is action "BST_LNG";
const ACTION: BST_NE is action "BST_NE";
const ACTION: BST_PARSE1 is action "BST_PARSE1";
const ACTION: BST_STR is action "BST_STR";
const ACTION: BST_VALUE is action "BST_VALUE";
const proc: bst_prototypes (inout file: c_prog) is func
begin
declareExtern(c_prog, "void bstAppend (bstriType *const, const_bstriType);");
declareExtern(c_prog, "bstriType bstCat (const_bstriType, const_bstriType);");
declareExtern(c_prog, "intType bstCmp (const const_bstriType, const const_bstriType);");
declareExtern(c_prog, "intType bstCmpGeneric (const genericType, const genericType);");
declareExtern(c_prog, "void bstCpy (bstriType *const, const const_bstriType);");
declareExtern(c_prog, "void bstCpyGeneric (genericType *const, const genericType);");
declareExtern(c_prog, "bstriType bstCreate (const const_bstriType);");
declareExtern(c_prog, "genericType bstCreateGeneric (const genericType);");
declareExtern(c_prog, "void bstDestr (const const_bstriType);");
declareExtern(c_prog, "void bstDestrGeneric (const genericType);");
declareExtern(c_prog, "intType bstHashCode (const const_bstriType);");
declareExtern(c_prog, "intType bstHashCodeGeneric (const genericType);");
declareExtern(c_prog, "bstriType bstParse (const const_striType);");
declareExtern(c_prog, "striType bstStr (const const_bstriType);");
declareExtern(c_prog, "bstriType bstValue (const const_objRefType);");
end func;
const proc: process (BST_APPEND, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
local
var expr_type: c_param1 is expr_type.value;
var expr_type: c_param3 is expr_type.value;
begin
process_expr(params[1], c_param1);
c_param3.temp_num := c_param1.temp_num;
getAnyParamToExpr(params[3], c_param3);
if has_temp_values(c_param3) then
c_expr.expr &:= "{\n";
appendWithDiagnostic(c_param1.temp_decls, c_expr);
appendWithDiagnostic(c_param3.temp_decls, c_expr);
appendWithDiagnostic(c_param1.temp_assigns, c_expr);
appendWithDiagnostic(c_param3.temp_assigns, c_expr);
end if;
setDiagnosticLine(c_expr);
c_expr.expr &:= "bstAppend(&(";
c_expr.expr &:= c_param1.expr;
c_expr.expr &:= "), ";
c_expr.expr &:= c_param3.expr;
c_expr.expr &:= ");\n";
if has_temp_values(c_param3) then
appendWithDiagnostic(c_param1.temp_frees, c_expr);
appendWithDiagnostic(c_param3.temp_frees, c_expr);
c_expr.expr &:= "}\n";
end if;
end func;
const proc: process (BST_CMP, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
begin
c_expr.expr &:= "bstCmp(";
getAnyParamToExpr(params[1], c_expr);
c_expr.expr &:= ", ";
getAnyParamToExpr(params[2], c_expr);
c_expr.expr &:= ")";
end func;
const proc: process (BST_CPY, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
local
var expr_type: statement is expr_type.value;
var expr_type: c_param1 is expr_type.value;
var expr_type: c_param3 is expr_type.value;
begin
statement.temp_num := c_expr.temp_num;
prepareAnyParamTemporarys(params[1], c_param1, statement);
c_param3.demand := ASSIGN_RESULT;
prepareAnyParamTemporarys(params[3], c_param3, statement);
if c_param3.result_expr <> "" then
statement.temp_decls &:= "bstriType new_bstri;\n";
statement.expr &:= "new_bstri=";
statement.expr &:= c_param3.result_expr;
statement.expr &:= ";\n";
if isNormalVariable(params[1]) then
statement.expr &:= "bstDestr(";
statement.expr &:= c_param1.expr;
statement.expr &:= ");\n";
statement.expr &:= c_param1.expr;
statement.expr &:= "=new_bstri;\n";
else
statement.temp_decls &:= "bstriType *bstri_ptr=&(";
statement.temp_decls &:= c_param1.expr;
statement.temp_decls &:= ");\n";
statement.expr &:= "bstDestr(*bstri_ptr);\n";
statement.expr &:= "*bstri_ptr=new_bstri;\n";
end if;
else
statement.expr &:= "bstCpy(&(";
statement.expr &:= c_param1.expr;
statement.expr &:= "), ";
statement.expr &:= c_param3.expr;
statement.expr &:= ");\n";
end if;
doLocalDeclsOfStatement(statement, c_expr);
end func;
const proc: process (BST_EQ, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
local
var string: bstri_a_name is "";
var string: bstri_b_name is "";
begin
c_expr.expr &:= "(";
bstri_a_name := getParameterAsVariable("const_bstriType", "tmp_a_", params[1], c_expr);
bstri_b_name := getParameterAsVariable("const_bstriType", "tmp_b_", params[3], c_expr);
c_expr.expr &:= bstri_a_name;
c_expr.expr &:= "->size==";
c_expr.expr &:= bstri_b_name;
c_expr.expr &:= "->size&&memcmp(";
c_expr.expr &:= bstri_a_name;
c_expr.expr &:= "->mem,";
c_expr.expr &:= bstri_b_name;
c_expr.expr &:= "->mem,";
c_expr.expr &:= bstri_a_name;
c_expr.expr &:= "->size*sizeof(unsigned char))==0)";
end func;
const proc: process (BST_HASHCODE, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
begin
c_expr.expr &:= "bstHashCode(";
getAnyParamToExpr(params[1], c_expr);
c_expr.expr &:= ")";
end func;
const proc: process_const_bst_idx (in bstring: bstri,
in reference: index, inout expr_type: c_expr) is func
local
var reference: evaluatedParam is NIL;
var integer: index_value is 0;
var string: index_name is "";
begin
incr(countOptimizations);
if getConstant(index, INTOBJECT, evaluatedParam) then
index_value := getValue(evaluatedParam, integer);
if index_value < 1 or index_value > length(bstri) then
warning(DOES_RAISE, "INDEX_ERROR", c_expr);
c_expr.expr &:= intRaiseError("INDEX_ERROR");
else
c_expr.expr &:= charLiteral(bstri[index_value]);
end if;
else
c_expr.expr &:= "(";
c_expr.expr &:= bstriLiteral(bstri);
c_expr.expr &:= ")->mem[";
if bstring_index_check then
incr(countIndexChecks);
incr(c_expr.temp_num);
index_name := "idx_" & str(c_expr.temp_num);
if ccConf.TWOS_COMPLEMENT_INTTYPE then
c_expr.temp_decls &:= "uintType ";
else
c_expr.temp_decls &:= "intType ";
end if;
c_expr.temp_decls &:= index_name;
c_expr.temp_decls &:= ";\n";
c_expr.expr &:= "(";
c_expr.expr &:= index_name;
c_expr.expr &:= "=";
if ccConf.TWOS_COMPLEMENT_INTTYPE then
c_expr.expr &:= "(uintType)(";
process_expr(index, c_expr);
c_expr.expr &:= ")-1, idxChk(";
c_expr.expr &:= index_name;
c_expr.expr &:= ">=";
else
process_expr(index, c_expr);
c_expr.expr &:= ", idxChk(";
c_expr.expr &:= index_name;
c_expr.expr &:= "<=0 || ";
c_expr.expr &:= index_name;
c_expr.expr &:= ">";
end if;
c_expr.expr &:= integerLiteral(length(bstri));
c_expr.expr &:= ") ? ";
c_expr.expr &:= intRaiseError("INDEX_ERROR");
c_expr.expr &:= " : ";
c_expr.expr &:= index_name;
if ccConf.TWOS_COMPLEMENT_INTTYPE then
c_expr.expr &:= ")";
else
c_expr.expr &:= "-1)";
end if;
else
incr(countSuppressedIndexChecks);
c_expr.expr &:= "(";
process_expr(index, c_expr);
c_expr.expr &:= ")-1";
end if;
c_expr.expr &:= "]";
end if;
end func;
const proc: process_const_bst_idx (in reference: param1,
in integer: index, inout expr_type: c_expr) is func
local
var string: bstri_name is "";
begin
incr(countOptimizations);
if index < 1 then
warning(DOES_RAISE, "INDEX_ERROR", c_expr);
c_expr.expr &:= intRaiseError("INDEX_ERROR");
elsif bstring_index_check then
incr(countIndexChecks);
c_expr.expr &:= "(";
bstri_name := getParameterAsVariable("const_bstriType", "tmp_", param1, c_expr);
c_expr.expr &:= bstri_name;
c_expr.expr &:= "->mem[(idxChk(";
c_expr.expr &:= bstri_name;
c_expr.expr &:= "->size<";
c_expr.expr &:= integerLiteral(index);
c_expr.expr &:= ") ? ";
c_expr.expr &:= intRaiseError("INDEX_ERROR");
c_expr.expr &:= " : ";
c_expr.expr &:= integerLiteral(pred(index));
c_expr.expr &:= ")])";
else
incr(countSuppressedIndexChecks);
c_expr.expr &:= "(";
getAnyParamToExpr(param1, c_expr);
c_expr.expr &:= ")->mem[";
c_expr.expr &:= integerLiteral(pred(index));
c_expr.expr &:= "]";
end if;
end func;
const proc: process (BST_IDX, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
local
var reference: evaluatedParam is NIL;
var string: bstri_name is "";
var string: index_name is "";
begin
if getConstant(params[1], BSTRIOBJECT, evaluatedParam) then
process_const_bst_idx(getValue(evaluatedParam, bstring), params[3], c_expr);
elsif getConstant(params[3], INTOBJECT, evaluatedParam) then
process_const_bst_idx(params[1], getValue(evaluatedParam, integer), c_expr);
elsif bstring_index_check then
incr(countIndexChecks);
incr(c_expr.temp_num);
index_name := "idx_" & str(c_expr.temp_num);
if ccConf.TWOS_COMPLEMENT_INTTYPE then
c_expr.temp_decls &:= "uintType ";
else
c_expr.temp_decls &:= "intType ";
end if;
c_expr.temp_decls &:= index_name;
c_expr.temp_decls &:= ";\n";
c_expr.expr &:= "(";
bstri_name := getParameterAsVariable("const_bstriType", "tmp_", params[1], c_expr);
c_expr.expr &:= bstri_name;
c_expr.expr &:= "->mem[(";
c_expr.expr &:= index_name;
c_expr.expr &:= "=";
if ccConf.TWOS_COMPLEMENT_INTTYPE then
c_expr.expr &:= "(uintType)(";
process_expr(params[3], c_expr);
c_expr.expr &:= ")-1, idxChk(";
c_expr.expr &:= index_name;
c_expr.expr &:= ">=";
else
process_expr(params[3], c_expr);
c_expr.expr &:= ", idxChk(";
c_expr.expr &:= index_name;
c_expr.expr &:= "<=0 || ";
c_expr.expr &:= index_name;
c_expr.expr &:= ">";
end if;
c_expr.expr &:= bstri_name;
c_expr.expr &:= "->size) ? ";
c_expr.expr &:= intRaiseError("INDEX_ERROR");
c_expr.expr &:= " : ";
c_expr.expr &:= index_name;
if ccConf.TWOS_COMPLEMENT_INTTYPE then
c_expr.expr &:= ")])";
else
c_expr.expr &:= "-1)])";
end if;
else
incr(countSuppressedIndexChecks);
c_expr.expr &:= "(";
getAnyParamToExpr(params[1], c_expr);
c_expr.expr &:= ")->mem[(";
process_expr(params[3], c_expr);
c_expr.expr &:= ")-1]";
end if;
end func;
const proc: process (BST_LNG, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
begin
c_expr.expr &:= "(intType)((";
getAnyParamToExpr(params[1], c_expr);
c_expr.expr &:= ")->size)";
end func;
const proc: process (BST_NE, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
local
var string: bstri_a_name is "";
var string: bstri_b_name is "";
begin
c_expr.expr &:= "(";
bstri_a_name := getParameterAsVariable("const_bstriType", "tmp_a_", params[1], c_expr);
bstri_b_name := getParameterAsVariable("const_bstriType", "tmp_b_", params[3], c_expr);
c_expr.expr &:= bstri_a_name;
c_expr.expr &:= "->size!=";
c_expr.expr &:= bstri_b_name;
c_expr.expr &:= "->size||memcmp(";
c_expr.expr &:= bstri_a_name;
c_expr.expr &:= "->mem,";
c_expr.expr &:= bstri_b_name;
c_expr.expr &:= "->mem,";
c_expr.expr &:= bstri_a_name;
c_expr.expr &:= "->size*sizeof(unsigned char))!=0)";
end func;
const proc: process (BST_PARSE1, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
begin
prepare_bstri_result(c_expr);
c_expr.result_expr := "bstParse(";
getAnyParamToResultExpr(params[1], c_expr);
c_expr.result_expr &:= ")";
end func;
const proc: process (BST_STR, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
begin
prepare_stri_result(c_expr);
c_expr.result_expr := "bstStr(";
getAnyParamToResultExpr(params[1], c_expr);
c_expr.result_expr &:= ")";
end func;
const proc: process (BST_VALUE, in reference: function,
in ref_list: params, inout expr_type: c_expr) is func
begin
prepare_bstri_result(c_expr);
c_expr.result_expr := "bstValue(";
getStdParamToResultExpr(params[1], c_expr);
c_expr.result_expr &:= ")";
end func;