| // Copyright 2011 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| /* |
| Package template implements data-driven templates for generating textual output. |
| |
| To generate HTML output, see package html/template, which has the same interface |
| as this package but automatically secures HTML output against certain attacks. |
| |
| Templates are executed by applying them to a data structure. Annotations in the |
| template refer to elements of the data structure (typically a field of a struct |
| or a key in a map) to control execution and derive values to be displayed. |
| Execution of the template walks the structure and sets the cursor, represented |
| by a period '.' and called "dot", to the value at the current location in the |
| structure as execution proceeds. |
| |
| The input text for a template is UTF-8-encoded text in any format. |
| "Actions"--data evaluations or control structures--are delimited by |
| "{{" and "}}"; all text outside actions is copied to the output unchanged. |
| Except for raw strings, actions may not span newlines, although comments can. |
| |
| Once parsed, a template may be executed safely in parallel, although if parallel |
| executions share a Writer the output may be interleaved. |
| |
| Here is a trivial example that prints "17 items are made of wool". |
| |
| type Inventory struct { |
| Material string |
| Count uint |
| } |
| sweaters := Inventory{"wool", 17} |
| tmpl, err := template.New("test").Parse("{{.Count}} items are made of {{.Material}}") |
| if err != nil { panic(err) } |
| err = tmpl.Execute(os.Stdout, sweaters) |
| if err != nil { panic(err) } |
| |
| More intricate examples appear below. |
| |
| Text and spaces |
| |
| By default, all text between actions is copied verbatim when the template is |
| executed. For example, the string " items are made of " in the example above |
| appears on standard output when the program is run. |
| |
| However, to aid in formatting template source code, if an action's left |
| delimiter (by default "{{") is followed immediately by a minus sign and white |
| space, all trailing white space is trimmed from the immediately preceding text. |
| Similarly, if the right delimiter ("}}") is preceded by white space and a minus |
| sign, all leading white space is trimmed from the immediately following text. |
| In these trim markers, the white space must be present: |
| "{{- 3}}" is like "{{3}}" but trims the immediately preceding text, while |
| "{{-3}}" parses as an action containing the number -3. |
| |
| For instance, when executing the template whose source is |
| |
| "{{23 -}} < {{- 45}}" |
| |
| the generated output would be |
| |
| "23<45" |
| |
| For this trimming, the definition of white space characters is the same as in Go: |
| space, horizontal tab, carriage return, and newline. |
| |
| Actions |
| |
| Here is the list of actions. "Arguments" and "pipelines" are evaluations of |
| data, defined in detail in the corresponding sections that follow. |
| |
| */ |
| // {{/* a comment */}} |
| // {{- /* a comment with white space trimmed from preceding and following text */ -}} |
| // A comment; discarded. May contain newlines. |
| // Comments do not nest and must start and end at the |
| // delimiters, as shown here. |
| /* |
| |
| {{pipeline}} |
| The default textual representation (the same as would be |
| printed by fmt.Print) of the value of the pipeline is copied |
| to the output. |
| |
| {{if pipeline}} T1 {{end}} |
| If the value of the pipeline is empty, no output is generated; |
| otherwise, T1 is executed. The empty values are false, 0, any |
| nil pointer or interface value, and any array, slice, map, or |
| string of length zero. |
| Dot is unaffected. |
| |
| {{if pipeline}} T1 {{else}} T0 {{end}} |
| If the value of the pipeline is empty, T0 is executed; |
| otherwise, T1 is executed. Dot is unaffected. |
| |
| {{if pipeline}} T1 {{else if pipeline}} T0 {{end}} |
| To simplify the appearance of if-else chains, the else action |
| of an if may include another if directly; the effect is exactly |
| the same as writing |
| {{if pipeline}} T1 {{else}}{{if pipeline}} T0 {{end}}{{end}} |
| |
| {{range pipeline}} T1 {{end}} |
| The value of the pipeline must be an array, slice, map, or channel. |
| If the value of the pipeline has length zero, nothing is output; |
| otherwise, dot is set to the successive elements of the array, |
| slice, or map and T1 is executed. If the value is a map and the |
| keys are of basic type with a defined order, the elements will be |
| visited in sorted key order. |
| |
| {{range pipeline}} T1 {{else}} T0 {{end}} |
| The value of the pipeline must be an array, slice, map, or channel. |
| If the value of the pipeline has length zero, dot is unaffected and |
| T0 is executed; otherwise, dot is set to the successive elements |
| of the array, slice, or map and T1 is executed. |
| |
| {{break}} |
| The innermost {{range pipeline}} loop is ended early, stopping the |
| current iteration and bypassing all remaining iterations. |
| |
| {{continue}} |
| The current iteration of the innermost {{range pipeline}} loop is |
| stopped, and the loop starts the next iteration. |
| |
| {{template "name"}} |
| The template with the specified name is executed with nil data. |
| |
| {{template "name" pipeline}} |
| The template with the specified name is executed with dot set |
| to the value of the pipeline. |
| |
| {{block "name" pipeline}} T1 {{end}} |
| A block is shorthand for defining a template |
| {{define "name"}} T1 {{end}} |
| and then executing it in place |
| {{template "name" pipeline}} |
| The typical use is to define a set of root templates that are |
| then customized by redefining the block templates within. |
| |
| {{with pipeline}} T1 {{end}} |
| If the value of the pipeline is empty, no output is generated; |
| otherwise, dot is set to the value of the pipeline and T1 is |
| executed. |
| |
| {{with pipeline}} T1 {{else}} T0 {{end}} |
| If the value of the pipeline is empty, dot is unaffected and T0 |
| is executed; otherwise, dot is set to the value of the pipeline |
| and T1 is executed. |
| |
| Arguments |
| |
| An argument is a simple value, denoted by one of the following. |
| |
| - A boolean, string, character, integer, floating-point, imaginary |
| or complex constant in Go syntax. These behave like Go's untyped |
| constants. Note that, as in Go, whether a large integer constant |
| overflows when assigned or passed to a function can depend on whether |
| the host machine's ints are 32 or 64 bits. |
| - The keyword nil, representing an untyped Go nil. |
| - The character '.' (period): |
| . |
| The result is the value of dot. |
| - A variable name, which is a (possibly empty) alphanumeric string |
| preceded by a dollar sign, such as |
| $piOver2 |
| or |
| $ |
| The result is the value of the variable. |
| Variables are described below. |
| - The name of a field of the data, which must be a struct, preceded |
| by a period, such as |
| .Field |
| The result is the value of the field. Field invocations may be |
| chained: |
| .Field1.Field2 |
| Fields can also be evaluated on variables, including chaining: |
| $x.Field1.Field2 |
| - The name of a key of the data, which must be a map, preceded |
| by a period, such as |
| .Key |
| The result is the map element value indexed by the key. |
| Key invocations may be chained and combined with fields to any |
| depth: |
| .Field1.Key1.Field2.Key2 |
| Although the key must be an alphanumeric identifier, unlike with |
| field names they do not need to start with an upper case letter. |
| Keys can also be evaluated on variables, including chaining: |
| $x.key1.key2 |
| - The name of a niladic method of the data, preceded by a period, |
| such as |
| .Method |
| The result is the value of invoking the method with dot as the |
| receiver, dot.Method(). Such a method must have one return value (of |
| any type) or two return values, the second of which is an error. |
| If it has two and the returned error is non-nil, execution terminates |
| and an error is returned to the caller as the value of Execute. |
| Method invocations may be chained and combined with fields and keys |
| to any depth: |
| .Field1.Key1.Method1.Field2.Key2.Method2 |
| Methods can also be evaluated on variables, including chaining: |
| $x.Method1.Field |
| - The name of a niladic function, such as |
| fun |
| The result is the value of invoking the function, fun(). The return |
| types and values behave as in methods. Functions and function |
| names are described below. |
| - A parenthesized instance of one the above, for grouping. The result |
| may be accessed by a field or map key invocation. |
| print (.F1 arg1) (.F2 arg2) |
| (.StructValuedMethod "arg").Field |
| |
| Arguments may evaluate to any type; if they are pointers the implementation |
| automatically indirects to the base type when required. |
| If an evaluation yields a function value, such as a function-valued |
| field of a struct, the function is not invoked automatically, but it |
| can be used as a truth value for an if action and the like. To invoke |
| it, use the call function, defined below. |
| |
| Pipelines |
| |
| A pipeline is a possibly chained sequence of "commands". A command is a simple |
| value (argument) or a function or method call, possibly with multiple arguments: |
| |
| Argument |
| The result is the value of evaluating the argument. |
| .Method [Argument...] |
| The method can be alone or the last element of a chain but, |
| unlike methods in the middle of a chain, it can take arguments. |
| The result is the value of calling the method with the |
| arguments: |
| dot.Method(Argument1, etc.) |
| functionName [Argument...] |
| The result is the value of calling the function associated |
| with the name: |
| function(Argument1, etc.) |
| Functions and function names are described below. |
| |
| A pipeline may be "chained" by separating a sequence of commands with pipeline |
| characters '|'. In a chained pipeline, the result of each command is |
| passed as the last argument of the following command. The output of the final |
| command in the pipeline is the value of the pipeline. |
| |
| The output of a command will be either one value or two values, the second of |
| which has type error. If that second value is present and evaluates to |
| non-nil, execution terminates and the error is returned to the caller of |
| Execute. |
| |
| Variables |
| |
| A pipeline inside an action may initialize a variable to capture the result. |
| The initialization has syntax |
| |
| $variable := pipeline |
| |
| where $variable is the name of the variable. An action that declares a |
| variable produces no output. |
| |
| Variables previously declared can also be assigned, using the syntax |
| |
| $variable = pipeline |
| |
| If a "range" action initializes a variable, the variable is set to the |
| successive elements of the iteration. Also, a "range" may declare two |
| variables, separated by a comma: |
| |
| range $index, $element := pipeline |
| |
| in which case $index and $element are set to the successive values of the |
| array/slice index or map key and element, respectively. Note that if there is |
| only one variable, it is assigned the element; this is opposite to the |
| convention in Go range clauses. |
| |
| A variable's scope extends to the "end" action of the control structure ("if", |
| "with", or "range") in which it is declared, or to the end of the template if |
| there is no such control structure. A template invocation does not inherit |
| variables from the point of its invocation. |
| |
| When execution begins, $ is set to the data argument passed to Execute, that is, |
| to the starting value of dot. |
| |
| Examples |
| |
| Here are some example one-line templates demonstrating pipelines and variables. |
| All produce the quoted word "output": |
| |
| {{"\"output\""}} |
| A string constant. |
| {{`"output"`}} |
| A raw string constant. |
| {{printf "%q" "output"}} |
| A function call. |
| {{"output" | printf "%q"}} |
| A function call whose final argument comes from the previous |
| command. |
| {{printf "%q" (print "out" "put")}} |
| A parenthesized argument. |
| {{"put" | printf "%s%s" "out" | printf "%q"}} |
| A more elaborate call. |
| {{"output" | printf "%s" | printf "%q"}} |
| A longer chain. |
| {{with "output"}}{{printf "%q" .}}{{end}} |
| A with action using dot. |
| {{with $x := "output" | printf "%q"}}{{$x}}{{end}} |
| A with action that creates and uses a variable. |
| {{with $x := "output"}}{{printf "%q" $x}}{{end}} |
| A with action that uses the variable in another action. |
| {{with $x := "output"}}{{$x | printf "%q"}}{{end}} |
| The same, but pipelined. |
| |
| Functions |
| |
| During execution functions are found in two function maps: first in the |
| template, then in the global function map. By default, no functions are defined |
| in the template but the Funcs method can be used to add them. |
| |
| Predefined global functions are named as follows. |
| |
| and |
| Returns the boolean AND of its arguments by returning the |
| first empty argument or the last argument. That is, |
| "and x y" behaves as "if x then y else x." |
| Evaluation proceeds through the arguments left to right |
| and returns when the result is determined. |
| call |
| Returns the result of calling the first argument, which |
| must be a function, with the remaining arguments as parameters. |
| Thus "call .X.Y 1 2" is, in Go notation, dot.X.Y(1, 2) where |
| Y is a func-valued field, map entry, or the like. |
| The first argument must be the result of an evaluation |
| that yields a value of function type (as distinct from |
| a predefined function such as print). The function must |
| return either one or two result values, the second of which |
| is of type error. If the arguments don't match the function |
| or the returned error value is non-nil, execution stops. |
| html |
| Returns the escaped HTML equivalent of the textual |
| representation of its arguments. This function is unavailable |
| in html/template, with a few exceptions. |
| index |
| Returns the result of indexing its first argument by the |
| following arguments. Thus "index x 1 2 3" is, in Go syntax, |
| x[1][2][3]. Each indexed item must be a map, slice, or array. |
| slice |
| slice returns the result of slicing its first argument by the |
| remaining arguments. Thus "slice x 1 2" is, in Go syntax, x[1:2], |
| while "slice x" is x[:], "slice x 1" is x[1:], and "slice x 1 2 3" |
| is x[1:2:3]. The first argument must be a string, slice, or array. |
| js |
| Returns the escaped JavaScript equivalent of the textual |
| representation of its arguments. |
| len |
| Returns the integer length of its argument. |
| not |
| Returns the boolean negation of its single argument. |
| or |
| Returns the boolean OR of its arguments by returning the |
| first non-empty argument or the last argument, that is, |
| "or x y" behaves as "if x then x else y". |
| Evaluation proceeds through the arguments left to right |
| and returns when the result is determined. |
| print |
| An alias for fmt.Sprint |
| printf |
| An alias for fmt.Sprintf |
| println |
| An alias for fmt.Sprintln |
| urlquery |
| Returns the escaped value of the textual representation of |
| its arguments in a form suitable for embedding in a URL query. |
| This function is unavailable in html/template, with a few |
| exceptions. |
| |
| The boolean functions take any zero value to be false and a non-zero |
| value to be true. |
| |
| There is also a set of binary comparison operators defined as |
| functions: |
| |
| eq |
| Returns the boolean truth of arg1 == arg2 |
| ne |
| Returns the boolean truth of arg1 != arg2 |
| lt |
| Returns the boolean truth of arg1 < arg2 |
| le |
| Returns the boolean truth of arg1 <= arg2 |
| gt |
| Returns the boolean truth of arg1 > arg2 |
| ge |
| Returns the boolean truth of arg1 >= arg2 |
| |
| For simpler multi-way equality tests, eq (only) accepts two or more |
| arguments and compares the second and subsequent to the first, |
| returning in effect |
| |
| arg1==arg2 || arg1==arg3 || arg1==arg4 ... |
| |
| (Unlike with || in Go, however, eq is a function call and all the |
| arguments will be evaluated.) |
| |
| The comparison functions work on any values whose type Go defines as |
| comparable. For basic types such as integers, the rules are relaxed: |
| size and exact type are ignored, so any integer value, signed or unsigned, |
| may be compared with any other integer value. (The arithmetic value is compared, |
| not the bit pattern, so all negative integers are less than all unsigned integers.) |
| However, as usual, one may not compare an int with a float32 and so on. |
| |
| Associated templates |
| |
| Each template is named by a string specified when it is created. Also, each |
| template is associated with zero or more other templates that it may invoke by |
| name; such associations are transitive and form a name space of templates. |
| |
| A template may use a template invocation to instantiate another associated |
| template; see the explanation of the "template" action above. The name must be |
| that of a template associated with the template that contains the invocation. |
| |
| Nested template definitions |
| |
| When parsing a template, another template may be defined and associated with the |
| template being parsed. Template definitions must appear at the top level of the |
| template, much like global variables in a Go program. |
| |
| The syntax of such definitions is to surround each template declaration with a |
| "define" and "end" action. |
| |
| The define action names the template being created by providing a string |
| constant. Here is a simple example: |
| |
| `{{define "T1"}}ONE{{end}} |
| {{define "T2"}}TWO{{end}} |
| {{define "T3"}}{{template "T1"}} {{template "T2"}}{{end}} |
| {{template "T3"}}` |
| |
| This defines two templates, T1 and T2, and a third T3 that invokes the other two |
| when it is executed. Finally it invokes T3. If executed this template will |
| produce the text |
| |
| ONE TWO |
| |
| By construction, a template may reside in only one association. If it's |
| necessary to have a template addressable from multiple associations, the |
| template definition must be parsed multiple times to create distinct *Template |
| values, or must be copied with the Clone or AddParseTree method. |
| |
| Parse may be called multiple times to assemble the various associated templates; |
| see the ParseFiles and ParseGlob functions and methods for simple ways to parse |
| related templates stored in files. |
| |
| A template may be executed directly or through ExecuteTemplate, which executes |
| an associated template identified by name. To invoke our example above, we |
| might write, |
| |
| err := tmpl.Execute(os.Stdout, "no data needed") |
| if err != nil { |
| log.Fatalf("execution failed: %s", err) |
| } |
| |
| or to invoke a particular template explicitly by name, |
| |
| err := tmpl.ExecuteTemplate(os.Stdout, "T2", "no data needed") |
| if err != nil { |
| log.Fatalf("execution failed: %s", err) |
| } |
| |
| */ |
| package template |