To benefit from this inference, a programmer can use the TypeScript language service. For example, a code editor can incorporate the TypeScript language service and use the service to find the members of a string object as in the following screen shot.

In this example, the programmer benefits from type inference without providing type annotations. Some beneficial tools, however, do require the programmer to provide type annotations. In TypeScript, we can express a parameter requirement as in the following code fragment.

JavaScript programming interfaces often include functions whose behavior is discriminated by a string constant passed to the function. The Document Object Model makes heavy use of this pattern. For example, the following screen shot shows that the 'createElement' method of the 'document' object has multiple signatures, some of which identify the types returned when specific strings are passed into the method.

The following code fragment uses this feature. Because the 'span' variable is inferred to have the type 'HTMLSpanElement', the code can reference without static error the 'isMultiline' property of 'span'.

In the following screen shot, a programming tool combines information from overloading on string parameters with contextual typing to infer that the type of the variable 'e' is 'MouseEvent' and that therefore 'e' has a 'clientX' property.

Section [3.9.2.4](#3.9.2.4) provides details on how to use string literals in function signatures.

export interface Tables extends Collection<Table> {

}

export interface Range {

find: Find;

listFormat: ListFormat;

tables: Tables;

text: string;

words: Ranges;

}

var tableColumnCount: number;

var tableCellIndex: number;

var columnAlignment: number[] = [];

function setProperties(target: any, properties: any) {

for (var name in properties) {

var text = p.range.text;

var style = p.style.nameLocal;

var inTable = p.range.tables.count > 0;

var level = 1;

var sectionBreak = text.indexOf("\x0C") >= 0;

text = trimEndFormattingMarks(text);

if (inTable) {

style = "Table";

}

else if (style.match(/\s\d$/)) {

level = +style.substr(style.length - 1);

style = style.substr(0, style.length - 2);