/**
* Construct symbol pairs by align leftSide side of both parts and insert them into a transducer
*
* @param pi leftSide part of the transduction
* @param pd right part of the transduction
* @param state the state from wich insert the new transduction
* @param t the transducer
* @return the last state of the inserted transduction
*/
int matchTransduction(ArrayList<Integer> pi, ArrayList<Integer> pd, int state, TransducerComp t) {
int izqda, dcha, limizqda, limdcha;
if (direction.equals(COMPILER_RESTRICTION_LR_VAL)) {
izqda = 0;
dcha = 0;
limizqda = pi.size();
limdcha = pd.size();
if (pi.size() == 0 && pd.size() == 0) {
if (DEBUG) System.err.println("e = " + t.toString());
state = t.insertNewSingleTransduction(alphabet_cast00, state);
} else {
HashSet<Integer> acx_map_ptr = null;
int rsymbol = 0;
while (true) {
int etiqueta;
if (izqda == limizqda && dcha == limdcha) {
break;
} else if (izqda == limizqda) {
etiqueta = alphabet.cast(0, pd.get(dcha));
dcha++;
} else if (dcha == limdcha) {
Integer pi_izqda = pi.get(izqda);
etiqueta = alphabet.cast(pi_izqda, 0);
acx_map_ptr = acx_map.get(pi_izqda); // perhaps null
rsymbol = 0;
izqda++;
} else {
Integer pi_izqda = pi.get(izqda);
Integer pd_dcha = pd.get(dcha);
etiqueta = alphabet.cast(pi_izqda, pd_dcha);
acx_map_ptr = acx_map.get(pi_izqda); // perhaps null
rsymbol = pd_dcha;
izqda++;
dcha++;
}
int nuevo_estado = t.insertSingleTransduction(etiqueta, state);
if (acx_map_ptr != null) {
for (Integer integer : acx_map_ptr) {
t.linkStates(state, nuevo_estado, alphabet.cast(integer, rsymbol));
}
}
state = nuevo_estado;
}
}
return state;
} else {
izqda = 0;
dcha = 0;
limizqda = pd.size();
limdcha = pi.size();
if (pi.size() == 0 && pd.size() == 0) {
state = t.insertNewSingleTransduction(alphabet_cast00, state);
} else {
HashSet<Integer> acx_map_ptr = null;
int rsymbol = 0;
while (true) {
int etiqueta;
if (izqda == limizqda && dcha == limdcha) {
break;
} else if (izqda == limizqda) {
etiqueta = alphabet.cast(0, pi.get(dcha));
dcha++;
} else if (dcha == limdcha) {
Integer pd_izqda = pd.get(izqda);
etiqueta = alphabet.cast(pd_izqda, 0);
acx_map_ptr = acx_map.get(pd_izqda); // perhaps null
rsymbol = 0;
izqda++;
} else {
Integer pd_izqda = pd.get(izqda);
Integer pi_dcha = pi.get(dcha);
etiqueta = alphabet.cast(pd_izqda, pi_dcha);
acx_map_ptr = acx_map.get(pd_izqda); // perhaps null
rsymbol = pi_dcha;
izqda++;
dcha++;
}
int nuevo_estado = t.insertSingleTransduction(etiqueta, state);
if (acx_map_ptr != null) {
for (Integer integer : acx_map_ptr) {
t.linkStates(state, nuevo_estado, alphabet.cast(integer, rsymbol));
}
}
state = nuevo_estado;
}
}
return state;
}
}
