Commit Graph
60 Commits
Author SHA1 Message Date
Wesley Wigham 2a4930f4ec Bind a jsdoc enum as SymbolFlags.TypeAlias and not SymbolFlags.Enum (#32520)
* Bind a jsdoc enum as SymbolFlags.TypeAlias and not SymbolFlags.Enum

* Actually include an @enum tag as a declaration

* Add enum tag refs into a couple more syntax kind lists

* accept symbol baseline update
2019-07-26 13:57:22 -07:00
Andy 12f3d0d54c Enable --strictPropertyInitialization (#27558)
* Enable --strictPropertyInitialization

* Code review
2018-11-16 16:02:23 -08:00
Wesley Wigham d58b1f664b mark error type in baselines very not-aggressively (#26346) 2018-08-17 15:45:14 -07:00
Andy 1599ee2805 Always return a defined result from getTypeFromTypeNode (#26108) 2018-07-31 17:28:15 -07:00
Andy b895614c55 Avoid trying to write the type of non-values (#25626) 2018-07-31 15:02:41 -07:00
Andy e53e56cf82 Enable '--strictNullChecks' (#22088)
* Enable '--strictNullChecks'

* Fix API baselines

* Make sys.getEnvironmentVariable non-nullable

* make properties optional instead of using `| undefined` in thier type

* reportDiagnostics should be required

* Declare firstAccessor as non-nullable

* Make `some` a type guard

* Fix `getEnvironmentVariable` definition in tests

* Pretend transformFlags are always defined

* Fix one more use of sys.getEnvironmentVariable

* `requiredResponse` accepts undefined, remove assertions

* Mark optional properties as optional instead of using `| undefined`

* Mark optional properties as optional instead of using ` | undefined`

* Remove unnecessary null assertions

* Put the bang on the declaration instead of every use

* Make `createMapFromTemplate` require a parameter

* Mark `EmitResult.emittedFiles` and `EmitResult.sourceMaps` as optional

* Plumb through undefined in emitLsit and EmitExpressionList

* `ElementAccessExpression.argumentExpression` can not be `undefined`

* Add overloads for `writeTokenText`

* Make `shouldWriteSeparatingLineTerminator` argument non-nullable

* Make `synthesizedNodeStartsOnNewLine` argument required

* `PropertyAssignment.initializer` cannot be undefined

* Use one `!` at declaration site instead of on every use site

* Capture host in a constant and avoid null assertions

* Remove few more unused assertions

* Update baselines

* Use parameter defaults

* Update baselines

* Fix lint

* Make Symbol#valueDeclaration and Symbol#declarations non-optional to reduce assertions

* Make Node#symbol and Type#symbol non-optional to reduce assertions

* Make `flags` non-nullable to reduce assertions

* Convert some asserts to type guards

* Make `isNonLocalAlias` a type guard

* Add overload for `getSymbolOfNode` for `Declaration`

* Some more `getSymbolOfNode` changes

* Push undefined suppression into `typeToTypeNodeHelper`

* `NodeBuilderContext.tracker` is never `undefined`

* use `Debug.assertDefined`

* Remove unnecessary tag

* Mark `LiteralType.freshType` and `LiteralTupe.regularType` as required
2018-05-22 14:46:57 -07:00
Andy 55bffba5fd Use getTextOfNode over getTextOfNodeFromSourceText(getSourceFileOfNode(node)) (#22387) 2018-03-08 07:52:35 -08:00
Wesley Wigham 62185673fd Emit unqiue symbols with typeof if possible before issuing an error (#21403) 2018-02-28 15:44:12 -08:00
Sheetal Nandi 271b47ce93 Emit the symbol information for declaration names (could be string literals and more) 2018-02-01 14:30:32 -08:00
Andy f4236ec5c8 Rename "isPartOfExpression" (#18469) 2017-10-31 08:05:39 -07:00
Andy 1f282f19e0 Fix "noStringLiteral" lint errors (#19310) 2017-10-19 08:15:48 -07:00
Wesley Wigham 5353475fce Always collect type and symbol baselines (#18621)
* Always generate type & symbol baselines

* Accept changed shadowed baselines

* Accept brand new type and symbol baselines

* Allow `getTypeAtLocation` to return undefined in the type writer

* Accept baselines which had missing type information

* Bind container for dynamically names enum members so they may be printed

* Accept type/symbol baselines for enums with computed members

* First pass at reducing typeWriter memory overhead

* Use generators to allow for type and symbol baselines with no cache

* Accept new baselines for tests whose output was fixed by better newline splitting

* Hard cap on number of declarations printed, cache declaration print text

* handle differing newlines better still to handle RWC newlines

* Lower abridging count, accept abridged baselines

* Limit max RWC error output size, limit RWC type and symbol baseline input size

* Move skip logic into type and symbol baseliner to streamline error handling

* Accept removal of empty baselines

* Canonicalize path earlier to handle odd paths in input files

* Do canonicalization earlier still, also ensure parallel perf profiles for different targets do not trample one another

* No need to pathify again
2017-09-22 15:52:04 -07:00
Andy e7dc2a67ca Enable "object-literal-shorthand" lint rule (#16987) 2017-07-07 07:26:58 -07:00
Ron Buckton 8bf176ac3d Cleanup and reorganization of node tests 2016-02-04 16:41:58 -08:00
Wesley Wigham 8a93b48945 fix lint: prefer const 2015-11-04 14:51:36 -08:00
Ryan Cavanaugh 7280509058 Don't show lib.d.ts line numbers in symbol baselines 2015-10-05 16:37:45 -07:00
Arthur Ozga e6809c30f1 Simplfied Return Values 2015-07-24 15:27:28 -07:00
Dan Quirk cb4577e3e8 var->let and a few misc other fixes 2015-07-14 17:47:07 -07:00
Dan Quirk 7076e3c9dd Fix most tslint errors in the harness 2015-07-14 16:16:30 -07:00
Anders Hejlsberg d71af8a3fb Addressing CR feedback 2015-06-17 13:28:39 -07:00
Anders Hejlsberg e305de1403 Workaround to match previous type writer output 2015-06-16 06:54:10 -07:00
Cyrus Najmabadi a2efe474cf Split symbol baselines from type baselines. 2015-04-15 16:44:20 -07:00
Cyrus Najmabadi 29f3f6fcae Merge branch 'master' into typeWriter 2015-04-13 14:29:37 -07:00
Cyrus Najmabadi b5b9f517ce Include symbol information in the typewriter baselines. 2015-04-13 13:54:22 -07:00
Cyrus Najmabadi 592e2314d4 Simplify typewriter code. 2015-04-13 12:36:11 -07:00
Jason Freeman d459c59028 Merge branch 'master' of https://github.com/Microsoft/TypeScript into iteratorSpreadDestructure 2015-04-08 16:14:24 -07:00
Cyrus Najmabadi a1e18fc22b Introduce a new HeritageClauseElment type.
This type represents the expression+type arguments you can get in a class or interface
heritage clause section.  For class-implements clauses, or interface-extends clauses,
these expressions can only be identifiers or dotted names.  For class extends clauses,
these could be any expressions in the future.  However, for now, we only support identifiers
and dotted names.
2015-03-31 12:29:02 -07:00
Jason Freeman 3497e27d56 Add spread to typeWriter 2015-03-25 18:03:32 -07:00
Cyrus Najmabadi 124a77cc3a Remove 'ZeroBased' from all APIs, now that all APIs are zero based. 2015-02-16 19:35:45 -08:00
Cyrus Najmabadi 041b646004 Move typewriter over to using zero based math. 2015-02-16 19:06:47 -08:00
Cyrus Najmabadi b3366ec8b4 name more line/char functions more clearly. Use zero based indexing in breakpoints. 2015-02-16 16:18:53 -08:00
Cyrus Najmabadi 11a9df2cc9 Expose zero-based helpers that code will be able to call. 2015-02-16 15:30:21 -08:00
Cyrus Najmabadi b6d083fa40 Do not publicly expose a way on a Program instance to get typecheckers with differing behavior.
Now, you can only get the non-diagnostics, pull-type-checker from the Program instance.
If you want diagnostics, you simply ask the Program instance for the diagnostics you want.
2015-02-04 16:11:38 -08:00
Cyrus Najmabadi b665323d45 Make the emitter no longer depend on the Program.
This breaks layering.  Also, it means the emitter depends on too large a surface area.
Now the emitter declares exactly what it needs, and only gets that.
2014-12-16 13:52:47 -08:00
Sheetal Nandi a4ab192b6f Fix the merge conflicts 2014-12-04 13:38:51 -08:00
Sheetal Nandi 1939c7f2cd Fix the getSymbolInfo and getTypeOfNode entry points to resolve the context sensitive information before resolving the actual node 2014-12-03 14:47:13 -08:00
Cyrus Najmabadi e4b543981c Updating syntax kind names. 2014-11-29 15:58:55 -08:00
Cyrus Najmabadi e1011aa2f0 Rename syntax properties to match Roslyn/Fidelity naming. 2014-11-29 15:47:02 -08:00
Cyrus Najmabadi 6a4927cef7 Provide unique nodes for void/typeof/delete expressions. 2014-11-29 13:43:30 -08:00
Vladimir Matveev a8e5aad6e8 use const enums in compiler 2014-11-03 23:31:38 -08:00
Daniel Rosenwasser 64097a3c6c Missed a use when fixing Debug.assert 2014-10-28 18:47:12 -07:00
Sheetal Nandi 58cfc985b9 Merge branch 'master' into symbolInfoFormatting 2014-10-08 18:25:42 -07:00
Sheetal Nandi 61994a7e62 Show the type information in places where there is no symbol associated 2014-10-03 15:50:38 -07:00
Cyrus Najmabadi 2a8b9ef21f Support rename in comments and strings. 2014-10-03 14:53:50 -07:00
Daniel Rosenwasser 358733fda3 Merge branch 'master' into getOccurrencesLoopBreakContinue 2014-09-15 16:01:05 -07:00
Daniel Rosenwasser dae34875b4 Minor CR feedback addressed. 2014-09-10 18:59:12 -07:00
Anders Hejlsberg 9f3d83adeb Truncate long types in error messages 2014-09-08 16:14:43 -07:00
Jason Freeman 44c2453ec6 Don't use UseTypeOfFunction in typeWriter 2014-08-28 12:52:44 -07:00
Jason Freeman 46825ab05d Print Array as T[] 2014-08-28 12:48:30 -07:00
Jason Freeman 6a7d912fe4 Print pure namespaces as unknown 2014-08-28 12:40:58 -07:00