aboutsummaryrefslogtreecommitdiffhomepage
path: root/crates/shirabe/src/io
diff options
context:
space:
mode:
Diffstat (limited to 'crates/shirabe/src/io')
-rw-r--r--crates/shirabe/src/io/buffer_io.rs17
1 files changed, 10 insertions, 7 deletions
diff --git a/crates/shirabe/src/io/buffer_io.rs b/crates/shirabe/src/io/buffer_io.rs
index 0696c1c..7c999f8 100644
--- a/crates/shirabe/src/io/buffer_io.rs
+++ b/crates/shirabe/src/io/buffer_io.rs
@@ -100,14 +100,17 @@ impl BufferIO {
}
pub fn set_user_inputs(&mut self, inputs: Vec<String>) -> Result<()> {
- // TODO(phase-b): downcast Box<dyn InputInterface> to StreamableInputInterface.
- // as_any/set_stream are not yet exposed on the InputInterface trait object.
+ // PHP: `if (!$this->input instanceof StreamableInputInterface) { throw ... }`
+ // `$this->input->setStream($this->createStream($inputs)); $this->input->setInteractive(true);`
+ //
+ // TODO(phase-b): blocked on the symfony console crate-path duplication (see `new`/`get_output`):
+ // `StreamableInputInterface` lives under `symfony::console::input`, but ConsoleIO's input is
+ // a `symfony::component::console::input::InputInterface` from a separate, unrelated trait
+ // tree, so the `instanceof` downcast cannot be expressed until those trees are unified.
let _ = inputs;
- let _ = |i: &Box<dyn InputInterface>| -> bool {
- let _ = i;
- false
- };
- todo!("port BufferIO::set_user_inputs once StreamableInputInterface downcast is available")
+ todo!(
+ "BufferIO::set_user_inputs: blocked on unifying symfony::console / symfony::component::console input trait trees"
+ )
}
fn create_stream(&self, inputs: Vec<String>) -> Result<PhpMixed> {