Skip to content

Commit 03954b0

Browse files
rhu1rhu1
authored
Merge pull request scribble#120 from rhu1/rhu1-research
Source file format fixing.
2 parents 56c385a + aeabb0f commit 03954b0

826 files changed

Lines changed: 70262 additions & 70262 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎scribble-cli/src/main/java/org/scribble/cli/CLArgFlag.java‎

Lines changed: 52 additions & 52 deletions
Original file line numberDiff line numberDiff line change
@@ -1,52 +1,52 @@
1-
/**
2-
* Copyright 2008 The Scribble Authors
3-
*
4-
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except
5-
* in compliance with the License. You may obtain a copy of the License at
6-
*
7-
* http://www.apache.org/licenses/LICENSE-2.0
8-
*
9-
* Unless required by applicable law or agreed to in writing, software distributed under the License
10-
* is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
11-
* or implied. See the License for the specific language governing permissions and limitations under
12-
* the License.
13-
*/
14-
package org.scribble.cli;
15-
16-
public enum CLArgFlag
17-
{
18-
// Unique flags
19-
JUNIT, // For internal use (JUnit test harness)
20-
MAIN_MOD,
21-
IMPORT_PATH,
22-
VERBOSE,
23-
SCHAN_API_SUBTYPES,
24-
OLD_WF,
25-
NO_LIVENESS,
26-
LTSCONVERT_MIN, // Currently only affects EFSM output (i.e. -fsm..) and API gen -- doesn't affect validation
27-
FAIR,
28-
NO_LOCAL_CHOICE_SUBJECT_CHECK,
29-
NO_ACCEPT_CORRELATION_CHECK,
30-
DOT,
31-
AUT,
32-
NO_VALIDATION,
33-
INLINE_MAIN_MOD,
34-
F17,
35-
36-
// Non-unique flags
37-
PROJECT,
38-
API_OUTPUT,
39-
EFSM,
40-
VALIDATION_EFSM,
41-
UNFAIR_EFSM,
42-
UNFAIR_EFSM_PNG,
43-
EFSM_PNG,
44-
VALIDATION_EFSM_PNG,
45-
SGRAPH,
46-
UNFAIR_SGRAPH,
47-
SGRAPH_PNG,
48-
UNFAIR_SGRAPH_PNG,
49-
API_GEN,
50-
SESS_API_GEN,
51-
SCHAN_API_GEN,
52-
}
1+
/**
2+
* Copyright 2008 The Scribble Authors
3+
*
4+
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except
5+
* in compliance with the License. You may obtain a copy of the License at
6+
*
7+
* http://www.apache.org/licenses/LICENSE-2.0
8+
*
9+
* Unless required by applicable law or agreed to in writing, software distributed under the License
10+
* is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
11+
* or implied. See the License for the specific language governing permissions and limitations under
12+
* the License.
13+
*/
14+
package org.scribble.cli;
15+
16+
public enum CLArgFlag
17+
{
18+
// Unique flags
19+
JUNIT, // For internal use (JUnit test harness)
20+
MAIN_MOD,
21+
IMPORT_PATH,
22+
VERBOSE,
23+
SCHAN_API_SUBTYPES,
24+
OLD_WF,
25+
NO_LIVENESS,
26+
LTSCONVERT_MIN, // Currently only affects EFSM output (i.e. -fsm..) and API gen -- doesn't affect validation
27+
FAIR,
28+
NO_LOCAL_CHOICE_SUBJECT_CHECK,
29+
NO_ACCEPT_CORRELATION_CHECK,
30+
DOT,
31+
AUT,
32+
NO_VALIDATION,
33+
INLINE_MAIN_MOD,
34+
F17,
35+
36+
// Non-unique flags
37+
PROJECT,
38+
API_OUTPUT,
39+
EFSM,
40+
VALIDATION_EFSM,
41+
UNFAIR_EFSM,
42+
UNFAIR_EFSM_PNG,
43+
EFSM_PNG,
44+
VALIDATION_EFSM_PNG,
45+
SGRAPH,
46+
UNFAIR_SGRAPH,
47+
SGRAPH_PNG,
48+
UNFAIR_SGRAPH_PNG,
49+
API_GEN,
50+
SESS_API_GEN,
51+
SCHAN_API_GEN,
52+
}

0 commit comments

Comments
 (0)