mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
Replace all definitions of Unit by import codeql.util.Unit
This commit is contained in:
@@ -8,5 +8,6 @@ upgrades: upgrades
|
||||
dependencies:
|
||||
codeql/regex: ${workspace}
|
||||
codeql/tutorial: ${workspace}
|
||||
codeql/util: ${workspace}
|
||||
dataExtensions:
|
||||
- semmle/javascript/frameworks/**/model.yml
|
||||
|
||||
@@ -1,10 +1,3 @@
|
||||
/** Provides the `Unit` class. */
|
||||
|
||||
/** The unit type. */
|
||||
private newtype TUnit = TMkUnit()
|
||||
|
||||
/** The trivial type with a single element. */
|
||||
class Unit extends TUnit {
|
||||
/** Gets a textual representation of this element. */
|
||||
string toString() { result = "Unit" }
|
||||
}
|
||||
import codeql.util.Unit
|
||||
|
||||
Reference in New Issue
Block a user