void (DfaValueFactory factory, DfaMemoryState state, DfaCallArguments arguments) { DfaVariableValue consumedStream = tryCast(CONSUMED_STREAM.createValue(factory, arguments.myQualifier), DfaVariableValue.class); if (consumedStream != null) { updateState(state, consumedStream, DfStreamStateType.CONSUMED); } }