Skip to content

Commit

Permalink
fix syntax error. added command interface
Browse files Browse the repository at this point in the history
  • Loading branch information
liy94 committed Jul 1, 2024
1 parent ccb2009 commit babd40e
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion Src/CommandLine/CommandInterface.cs
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@ private enum WatchLevelKind { Off, On, Prompt };
private const string WatchMsg = "Use: watch [off | on | prompt] to control watch behavior";
private const string CoreMsg = "Prints reduced rule set for domains / transforms. Use: core module_name";
private const string DowngradeMsg = "Attempts to downgrade a (partial) model to Formula V1. Use: downgrade module_name";
private const string FetchConstraints = "Attemps to fetch the constraints in the domain"
private const string FetchConstraints = "Attemps to fetch the constraints in the domain";

private SpinLock cmdLock = new SpinLock();
private bool isCmdLocked = false;
Expand Down Expand Up @@ -325,6 +325,10 @@ public CommandInterface(IMessageSink sink, IChooser chooser, EnvParams envParams
cmdMap.Add(interactiveCmd.Name, interactiveCmd);
cmdMap.Add(interactiveCmd.ShortName, interactiveCmd);

var fetchConstraintsCmd = new Command("constraints", "ct", DoFetchConstraints, FetchConstraints);

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build-macos

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

The name 'DoFetchConstraints' does not exist in the current context

Check failure on line 328 in Src/CommandLine/CommandInterface.cs

View workflow job for this annotation

GitHub Actions / build (ubuntu-latest)

The name 'DoFetchConstraints' does not exist in the current context
cmdMap.Add(fetchConstraintsCmd.Name, fetchConstraintsCmd);
cmdMap.Add(fetchConstraintsCmd.ShortName, fetchConstraintsCmd);

taskManager = new TaskManager();
}

Expand Down

0 comments on commit babd40e

Please sign in to comment.