Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[http-server-javascript] Merge JavaScript Server Generator to Main #3231

Merged
merged 39 commits into from
Jul 10, 2024
Merged
Show file tree
Hide file tree
Changes from 21 commits
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
67822c2
Move javascript HTTP server generator to typespec repo
willmtemple Apr 24, 2024
6feb456
Added more package metadata.
willmtemple Apr 24, 2024
efa5b59
Standardize configs, lint package, remove dead code
willmtemple Apr 24, 2024
c761450
Add generated documentation
willmtemple Apr 24, 2024
97ee3cd
Implemented helpers, several changes for strict correctness, and fixe…
willmtemple May 1, 2024
cd1a448
Implemented shared-route differentiation by content-type
willmtemple May 13, 2024
ba4cfb2
Removed some old TODO comments
willmtemple May 13, 2024
1f6d1ba
Merge remote-tracking branch 'upstream/main' into http-server-javascript
willmtemple May 13, 2024
fb2d462
Merge value rework PR
willmtemple May 13, 2024
dc6de85
Added type differentiation logic
willmtemple May 18, 2024
f5231a1
Add copyright headers
willmtemple May 31, 2024
21b2f1f
Implement union serde
willmtemple Jun 3, 2024
8b97d74
Several improvements to differentiation, allowing for literals and ra…
willmtemple Jun 24, 2024
3c690d8
Move LiteralType extension to http-server-javascript instead of core
willmtemple Jun 25, 2024
0dc804d
README
willmtemple Jul 2, 2024
eb2a617
eqeq
willmtemple Jul 2, 2024
4f2cf29
Merge remote-tracking branch 'upstream/main' into http-server-javascript
willmtemple Jul 2, 2024
81ffac0
Fix build error from merge
willmtemple Jul 2, 2024
871ae73
Fixed several build errors
willmtemple Jul 5, 2024
80bde56
Merge remote-tracking branch 'origin/http-server-javascript' into htt…
willmtemple Jul 5, 2024
caeccde
Merge remote-tracking branch 'upstream/main' into http-server-javascript
willmtemple Jul 5, 2024
47d79d2
Address CodeQL, disable doc generation
willmtemple Jul 8, 2024
953f9b3
Addressed PR feedback.
willmtemple Jul 9, 2024
8f04469
Merge remote-tracking branch 'upstream/main' into http-server-javascript
willmtemple Jul 9, 2024
7bf5dd0
Fixed string escaping
willmtemple Jul 9, 2024
a28c5f1
Removed vestigial 'features' functionality
willmtemple Jul 9, 2024
9302d27
Strengthen warning
willmtemple Jul 9, 2024
51873e3
Merge remote-tracking branch 'upstream/main' into http-server-javascript
willmtemple Jul 9, 2024
8c19466
Remove all TODOs, converted to issues.
willmtemple Jul 9, 2024
347ba0b
Merge remote-tracking branch 'upstream/main' into http-server-javascript
willmtemple Jul 9, 2024
d2e5353
update pnpm-lock with new pnpm version
willmtemple Jul 9, 2024
4c68409
Address remaining feedback
willmtemple Jul 10, 2024
eeabef4
Merge remote-tracking branch 'upstream/main' into http-server-javascript
willmtemple Jul 10, 2024
ec3512f
Fixed depedencies.
willmtemple Jul 10, 2024
d08525a
Invert helper src and generated output directories.
willmtemple Jul 10, 2024
d7223a9
Fix regression in content-type logic
willmtemple Jul 10, 2024
e30126f
Merge remote-tracking branch 'upstream/main' into http-server-javascript
willmtemple Jul 10, 2024
9f5a389
Ignore formatting in generated helper lines.
willmtemple Jul 10, 2024
a93750f
EOL -> \n
willmtemple Jul 10, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
changeKind: feature
witemple-msft marked this conversation as resolved.
Show resolved Hide resolved
packages:
- "@typespec/http-server-javascript"
---

Added the experimental HTTP server generator for JavaScript.
7 changes: 7 additions & 0 deletions cspell.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ words:
- azsdkengsys
- azurecr
- azuresdk
- bifilter
- blockful
- blockless
- cadl
Expand All @@ -28,6 +29,7 @@ words:
- CRUDL
- dbaeumer
- debouncer
- destructures
- devdiv
- Diagnoser
- dogfood
Expand Down Expand Up @@ -84,6 +86,7 @@ words:
- protoc
- psscriptanalyzer
- pwsh
- recase
- regen
- respecify
- rpaas
Expand All @@ -109,11 +112,14 @@ words:
- uitestresults
- unassignable
- Uncapitalize
- undifferentiable
- uncollapsed
- uninstantiated
- unioned
- unparented
- unprefixed
- unprojected
- unrepresentable
- unsourced
- unversioned
- VITE
Expand All @@ -124,6 +130,7 @@ words:
- vswhere
- westus
- WINDOWSVMIMAGE
- witemple
- xlarge
- xplat
ignorePaths:
Expand Down
36 changes: 36 additions & 0 deletions docs/libraries/http-server-javascript/reference/emitter.md
witemple-msft marked this conversation as resolved.
Show resolved Hide resolved
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
---
title: "Emitter usage"
toc_min_heading_level: 2
toc_max_heading_level: 3
---

# Emitter

## Usage

1. Via the command line

```bash
tsp compile . --emit=@typespec/http-server-javascript
```

2. Via the config

```yaml
emit:
- "@typespec/http-server-javascript"
```

## Emitter options

### `features`

**Type:** `object`

### `omit-unreachable-types`

**Type:** `boolean`

### `no-format`

**Type:** `boolean`
36 changes: 36 additions & 0 deletions docs/libraries/http-server-javascript/reference/index.mdx
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
---
title: Overview
sidebar_position: 0
toc_min_heading_level: 2
toc_max_heading_level: 3
---

import Tabs from '@theme/Tabs';
import TabItem from '@theme/TabItem';

# Overview

TypeSpec HTTP server code generator for JavaScript

## Install

<Tabs>
<TabItem value="spec" label="In a spec" default>

```bash
npm install @typespec/http-server-javascript
```

</TabItem>
<TabItem value="library" label="In a library" default>

```bash
npm install --save-peer @typespec/http-server-javascript
```

</TabItem>
</Tabs>

## Emitter usage

[See documentation](./emitter.md)
1 change: 1 addition & 0 deletions packages/http-server-javascript/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
src/helpers
witemple-msft marked this conversation as resolved.
Show resolved Hide resolved
21 changes: 21 additions & 0 deletions packages/http-server-javascript/LICENSE
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
MIT License

Copyright (c) Microsoft Corporation. All rights reserved.

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE
183 changes: 183 additions & 0 deletions packages/http-server-javascript/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,183 @@
# @typespec/http-server-javascript

:warning: **This package is highly experimental and may be subject to breaking changes and bugs.**

TypeSpec HTTP server code generator for JavaScript and TypeScript.

This package generates an implementation of an HTTP server layer for a TypeSpec API. It supports binding directly to a
Node.js HTTP server or Express.js application.

## Install

```bash
npm install @typespec/http-server-javascript
```

## Emitter

### Usage

1. Via the command line

```bash
tsp compile . --emit=@typespec/http-server-javascript
```

2. Via the config

```yaml
emit:
- "@typespec/http-server-javascript"
```

### Emitter options

#### `express`

**Type:** `boolean`

If set to `true`, the emitter will generate a router that exposes an Express.js middleware function in addition to the
ordinary Node.js HTTP server router.

If this option is not set to `true`, the `expressMiddleware` property will not be present on the generated router.

#### `omit-unreachable-types`

**Type:** `boolean`

By default, the emitter will create interfaces that represent all models in the service namespace. If this option is set
to `true`, the emitter will only emit those types that are reachable from an HTTP operation.

#### `no-format`

**Type:** `boolean`

If set to `true`, the emitter will not format the generated code using Prettier.

## Functionality and generated code

The emitter generates a few major components:

### Router

The highest-level component that your code interacts with directly is the router implementation.
`@typespec/http-server-javascript` generates a static router that you can bind to an implementation of an HTTP server.

The router is generated in the `http/router.js` module within the output directory. Each service will have its own
router implementation named after the service. For example, given a service namespace named `Todo`, the router module
will export a function `createTodoRouter`. This function creates an instance of a router that dispatches methods within
the `Todo` service.

```ts
import { createTodoRouter } from "../tsp-output/@typespec/http-server-javascript/http/router.js";

const router = createTodoRouter(users, todoItems, attachments);
```

As arguments, the `createTodoRouter` function expects implementations of the underlying service interfaces. These
interfaces are explained further in the next section.

Once the router is created, it is bound to an instance of the HTTP server. The router's `dispatch` method implements the
Node.js event handler signature for the `request` event on a Node.js HTTP server.

```ts
const server = http.createServer();

server.on("request", router.dispatch);

server.listen(8080, () => {
console.log("Server listening on http://localhost:8080");
});
```

Alternatively, the router can be used with Express.js instead of the Node.js HTTP server directly. If the `express`
feature is enabled in the emitter options, the router will expose an `expressMiddleware` property that implements the
Express.js middleware interface.

```ts
import express from "express";

const app = express();

app.use(router.expressMiddleware);

app.listen(8080, () => {
console.log("Server listening on http://localhost:8080");
});
```

### Service interfaces

The emitter generates interfaces for each collection of service methods that exists in the service namespace.
Implementations of these interfaces are required to instantiate the router. When the router processes an HTTP request,
it will call the appropriate method on the service implementation after determining the route and method.

For example, given the following TypeSpec namespace `Users` within the `Todo` service:

```tsp
namespace Users {
@route("/users")
@post
op create(
user: User,
): WithStandardErrors<UserCreatedResponse | UserExistsResponse | InvalidUserResponse>;
}
```

The emitter will generate a corresponding interface `Users` within the module `models/all/todo/index.js` in the output
directory.

```ts
/** An interface representing the operations defined in the 'Todo.Users' namespace. */
export interface Users<Context = unknown> {
create(
ctx: Context,
user: User
): Promise<
| UserCreatedResponse
| UserExistsResponse
| InvalidUserResponse
| Standard4XxResponse
| Standard5XxResponse
>;
}
```

An object implementing this `Users` interface must be passed to the router when it is created. The `Context` type
parameter represents the underlying protocol or framework-specific context that the service implementation may inspect.
If you need to access the HTTP request or response objects directly in the implementation of the service methods, you
must use the `HttpContext` type as the `Context` argument when implementing the service interface. Otherwise, it is safe
to use the default `unknown` argument.

```ts
import { HttpContext } from "../tsp-output/@typespec/http-server-javascript/helpers/router.js";
import { Users } from "../tsp-output/@typespec/http-server-javascript/models/all/todo/index.js";

export const users: Users<HttpContext> = {
async create(ctx, user) {
// Implementation
},
};
```

### Models

The emitter generates TypeScript interfaces that represent the model types used in the service operations. This allows
the service implementation to interact with the data structures carried over the HTTP protocol in a type-safe manner.

### Operation functions

While your code should never need to interact with these functions directly, the emitter generates a function per HTTP
operation that handles the parsing and validation of the request contents. This allows the service implementation to be
written in terms of ordinary TypeScript types and values rather than raw HTTP request and response objects. In general:

- The Node.js HTTP server or Express.js application (your code) calls the router (generated code), which determines
which service operation function (generated code) to call based on the route, method, and other HTTP metadata in the
case of shared routes.
- The operation function (generated code) deserializes the request body, query parameters, and headers into TypeScript
types, and may perform request validation.
- The operation function (generated code) calls the service implementation (your code) with the deserialized request
data.
- The service implementation (your code) returns a result or throws an error.
- The operation function (generated code) responds to the HTTP request on your behalf, converting the result or error
into HTTP response data.
Loading
Loading