pmat 3.15.0

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130

#![cfg_attr(coverage_nightly, coverage(off))]
// Sprint 78: TUI-006 GREEN - Timeline CLI Integration
//
// Provides TimelineMode enum and helpers for CLI --interactive flag

use anyhow::Result;

/// Timeline playback mode (interactive TUI vs non-interactive)
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub enum TimelineMode {
    /// Interactive TUI mode (requires TTY)
    Interactive,
    /// Non-interactive batch mode
    #[default]
    NonInteractive,
}

impl TimelineMode {
    /// Parse mode from command-line arguments
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn from_args(args: &[&str]) -> Self {
        if args.contains(&"--interactive") || args.contains(&"-i") {
            TimelineMode::Interactive
        } else {
            TimelineMode::NonInteractive
        }
    }

    /// Check if this is interactive mode
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn is_interactive(&self) -> bool {
        matches!(self, TimelineMode::Interactive)
    }

    /// Check if this is non-interactive mode
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn is_non_interactive(&self) -> bool {
        matches!(self, TimelineMode::NonInteractive)
    }

    /// Check if mode requires a terminal (TTY)
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn requires_terminal(&self) -> bool {
        self.is_interactive()
    }

    /// Validate terminal availability for this mode
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn validate_terminal_availability(&self, has_tty: bool) -> Result<()> {
        if self.requires_terminal() && !has_tty {
            anyhow::bail!("Interactive mode requires a TTY (terminal). Run without --interactive flag for batch mode.");
        }
        Ok(())
    }

    /// Get human-readable description
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn description(&self) -> &str {
        match self {
            TimelineMode::Interactive => "Interactive TUI mode",
            TimelineMode::NonInteractive => "Non-interactive batch mode",
        }
    }

    /// Validate arguments for conflicting flags
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn validate_args(args: &[&str]) -> Result<()> {
        let has_interactive = args.contains(&"--interactive") || args.contains(&"-i");
        let has_json = args.contains(&"--json");

        if has_interactive && has_json {
            anyhow::bail!("Conflicting flags: --interactive and --json cannot be used together");
        }

        Ok(())
    }

    /// Check if TUI feature is available
    #[cfg(feature = "tui")]
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn check_feature_availability(&self) -> Result<()> {
        Ok(())
    }

    /// Check if TUI feature is available
    #[cfg(not(feature = "tui"))]
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn check_feature_availability(&self) -> Result<()> {
        if self.is_interactive() {
            anyhow::bail!(
                "Interactive mode requires the 'tui' feature. Rebuild with --features tui"
            );
        }
        Ok(())
    }
}

/// Placeholder for handle_timeline function
/// This will be properly implemented when integrating with existing timeline command
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub fn handle_timeline(_args: &[&str]) -> Result<()> {
    Ok(())
}

/// Get timeline command help text
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub fn get_timeline_help_text() -> String {
    r#"USAGE:
    pmat timeline <recording.pmat> [OPTIONS]

OPTIONS:
    --interactive, -i    Launch interactive TUI for timeline navigation
    --json              Output timeline data as JSON (conflicts with --interactive)
    --help, -h          Print this help message

EXAMPLES:
    # Interactive mode (TUI)
    pmat timeline recording.pmat --interactive

    # Non-interactive mode (default)
    pmat timeline recording.pmat

    # JSON output
    pmat timeline recording.pmat --json
"#
    .to_string()
}

// --- Include files for module organization ---
include!("timeline_mode_tests.rs");