()
| 917 | |
| 918 | #[test] |
| 919 | fn test_workspace_down_context() { |
| 920 | let mut workspace = Workspace::new(); |
| 921 | let pos = Position::new(NodeId::new(2), ChangePosition::new(50)); |
| 922 | |
| 923 | workspace.add_down_context(pos); |
| 924 | |
| 925 | assert_eq!(workspace.down_context_count(), 1); |
| 926 | assert_eq!(workspace.successors(), &[pos]); |
| 927 | } |
| 928 | |
| 929 | #[test] |
| 930 | fn test_workspace_clear_context() { |
nothing calls this directly
no test coverage detected