Commit de23c556 authored by Kristof Szabados's avatar Kristof Szabados
Browse files

killed can also have index redirection

Signed-off-by: Kristof Szabados's avatarkristof <>
parent 8a2d40c7
......@@ -151,7 +151,7 @@ public final class Killed_Statement extends Statement {
componentReference.generateCodeExpressionMandatory(aData, expression, true);
//FIXME handle index redirection
} else if (isAny) {
// any component.killed
......@@ -186,8 +186,8 @@ public class TitanComponent extends Base_Type {
return status;
// originally killed, TODO needs index redirection support
public TitanAlt_Status killed() {
// originally killed
public TitanAlt_Status killed(final Index_Redirect index_redirection) {
if (componentValue == UNBOUND_COMPREF) {
throw new TtcnError("Performing killed operation on an unbound component reference.");
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment