1// Copyright 2011 The Go Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file.
4
5package template
6
7import (
8	"fmt"
9	"io"
10	"io/fs"
11	"os"
12	"path"
13	"path/filepath"
14	"sync"
15	"text/template"
16	"text/template/parse"
17)
18
19// Template is a specialized Template from "text/template" that produces a safe
20// HTML document fragment.
21type Template struct {
22	// Sticky error if escaping fails, or escapeOK if succeeded.
23	escapeErr error
24	// We could embed the text/template field, but it's safer not to because
25	// we need to keep our version of the name space and the underlying
26	// template's in sync.
27	text *template.Template
28	// The underlying template's parse tree, updated to be HTML-safe.
29	Tree       *parse.Tree
30	*nameSpace // common to all associated templates
31}
32
33// escapeOK is a sentinel value used to indicate valid escaping.
34var escapeOK = fmt.Errorf("template escaped correctly")
35
36// nameSpace is the data structure shared by all templates in an association.
37type nameSpace struct {
38	mu      sync.Mutex
39	set     map[string]*Template
40	escaped bool
41	esc     escaper
42}
43
44// Templates returns a slice of the templates associated with t, including t
45// itself.
46func (t *Template) Templates() []*Template {
47	ns := t.nameSpace
48	ns.mu.Lock()
49	defer ns.mu.Unlock()
50	// Return a slice so we don't expose the map.
51	m := make([]*Template, 0, len(ns.set))
52	for _, v := range ns.set {
53		m = append(m, v)
54	}
55	return m
56}
57
58// Option sets options for the template. Options are described by
59// strings, either a simple string or "key=value". There can be at
60// most one equals sign in an option string. If the option string
61// is unrecognized or otherwise invalid, Option panics.
62//
63// Known options:
64//
65// missingkey: Control the behavior during execution if a map is
66// indexed with a key that is not present in the map.
67//
68//	"missingkey=default" or "missingkey=invalid"
69//		The default behavior: Do nothing and continue execution.
70//		If printed, the result of the index operation is the string
71//		"<no value>".
72//	"missingkey=zero"
73//		The operation returns the zero value for the map type's element.
74//	"missingkey=error"
75//		Execution stops immediately with an error.
76func (t *Template) Option(opt ...string) *Template {
77	t.text.Option(opt...)
78	return t
79}
80
81// checkCanParse checks whether it is OK to parse templates.
82// If not, it returns an error.
83func (t *Template) checkCanParse() error {
84	if t == nil {
85		return nil
86	}
87	t.nameSpace.mu.Lock()
88	defer t.nameSpace.mu.Unlock()
89	if t.nameSpace.escaped {
90		return fmt.Errorf("html/template: cannot Parse after Execute")
91	}
92	return nil
93}
94
95// escape escapes all associated templates.
96func (t *Template) escape() error {
97	t.nameSpace.mu.Lock()
98	defer t.nameSpace.mu.Unlock()
99	t.nameSpace.escaped = true
100	if t.escapeErr == nil {
101		if t.Tree == nil {
102			return fmt.Errorf("template: %q is an incomplete or empty template", t.Name())
103		}
104		if err := escapeTemplate(t, t.text.Root, t.Name()); err != nil {
105			return err
106		}
107	} else if t.escapeErr != escapeOK {
108		return t.escapeErr
109	}
110	return nil
111}
112
113// Execute applies a parsed template to the specified data object,
114// writing the output to wr.
115// If an error occurs executing the template or writing its output,
116// execution stops, but partial results may already have been written to
117// the output writer.
118// A template may be executed safely in parallel, although if parallel
119// executions share a Writer the output may be interleaved.
120func (t *Template) Execute(wr io.Writer, data any) error {
121	if err := t.escape(); err != nil {
122		return err
123	}
124	return t.text.Execute(wr, data)
125}
126
127// ExecuteTemplate applies the template associated with t that has the given
128// name to the specified data object and writes the output to wr.
129// If an error occurs executing the template or writing its output,
130// execution stops, but partial results may already have been written to
131// the output writer.
132// A template may be executed safely in parallel, although if parallel
133// executions share a Writer the output may be interleaved.
134func (t *Template) ExecuteTemplate(wr io.Writer, name string, data any) error {
135	tmpl, err := t.lookupAndEscapeTemplate(name)
136	if err != nil {
137		return err
138	}
139	return tmpl.text.Execute(wr, data)
140}
141
142// lookupAndEscapeTemplate guarantees that the template with the given name
143// is escaped, or returns an error if it cannot be. It returns the named
144// template.
145func (t *Template) lookupAndEscapeTemplate(name string) (tmpl *Template, err error) {
146	t.nameSpace.mu.Lock()
147	defer t.nameSpace.mu.Unlock()
148	t.nameSpace.escaped = true
149	tmpl = t.set[name]
150	if tmpl == nil {
151		return nil, fmt.Errorf("html/template: %q is undefined", name)
152	}
153	if tmpl.escapeErr != nil && tmpl.escapeErr != escapeOK {
154		return nil, tmpl.escapeErr
155	}
156	if tmpl.text.Tree == nil || tmpl.text.Root == nil {
157		return nil, fmt.Errorf("html/template: %q is an incomplete template", name)
158	}
159	if t.text.Lookup(name) == nil {
160		panic("html/template internal error: template escaping out of sync")
161	}
162	if tmpl.escapeErr == nil {
163		err = escapeTemplate(tmpl, tmpl.text.Root, name)
164	}
165	return tmpl, err
166}
167
168// DefinedTemplates returns a string listing the defined templates,
169// prefixed by the string "; defined templates are: ". If there are none,
170// it returns the empty string. Used to generate an error message.
171func (t *Template) DefinedTemplates() string {
172	return t.text.DefinedTemplates()
173}
174
175// Parse parses text as a template body for t.
176// Named template definitions ({{define ...}} or {{block ...}} statements) in text
177// define additional templates associated with t and are removed from the
178// definition of t itself.
179//
180// Templates can be redefined in successive calls to Parse,
181// before the first use of [Template.Execute] on t or any associated template.
182// A template definition with a body containing only white space and comments
183// is considered empty and will not replace an existing template's body.
184// This allows using Parse to add new named template definitions without
185// overwriting the main template body.
186func (t *Template) Parse(text string) (*Template, error) {
187	if err := t.checkCanParse(); err != nil {
188		return nil, err
189	}
190
191	ret, err := t.text.Parse(text)
192	if err != nil {
193		return nil, err
194	}
195
196	// In general, all the named templates might have changed underfoot.
197	// Regardless, some new ones may have been defined.
198	// The template.Template set has been updated; update ours.
199	t.nameSpace.mu.Lock()
200	defer t.nameSpace.mu.Unlock()
201	for _, v := range ret.Templates() {
202		name := v.Name()
203		tmpl := t.set[name]
204		if tmpl == nil {
205			tmpl = t.new(name)
206		}
207		tmpl.text = v
208		tmpl.Tree = v.Tree
209	}
210	return t, nil
211}
212
213// AddParseTree creates a new template with the name and parse tree
214// and associates it with t.
215//
216// It returns an error if t or any associated template has already been executed.
217func (t *Template) AddParseTree(name string, tree *parse.Tree) (*Template, error) {
218	if err := t.checkCanParse(); err != nil {
219		return nil, err
220	}
221
222	t.nameSpace.mu.Lock()
223	defer t.nameSpace.mu.Unlock()
224	text, err := t.text.AddParseTree(name, tree)
225	if err != nil {
226		return nil, err
227	}
228	ret := &Template{
229		nil,
230		text,
231		text.Tree,
232		t.nameSpace,
233	}
234	t.set[name] = ret
235	return ret, nil
236}
237
238// Clone returns a duplicate of the template, including all associated
239// templates. The actual representation is not copied, but the name space of
240// associated templates is, so further calls to [Template.Parse] in the copy will add
241// templates to the copy but not to the original. [Template.Clone] can be used to prepare
242// common templates and use them with variant definitions for other templates
243// by adding the variants after the clone is made.
244//
245// It returns an error if t has already been executed.
246func (t *Template) Clone() (*Template, error) {
247	t.nameSpace.mu.Lock()
248	defer t.nameSpace.mu.Unlock()
249	if t.escapeErr != nil {
250		return nil, fmt.Errorf("html/template: cannot Clone %q after it has executed", t.Name())
251	}
252	textClone, err := t.text.Clone()
253	if err != nil {
254		return nil, err
255	}
256	ns := &nameSpace{set: make(map[string]*Template)}
257	ns.esc = makeEscaper(ns)
258	ret := &Template{
259		nil,
260		textClone,
261		textClone.Tree,
262		ns,
263	}
264	ret.set[ret.Name()] = ret
265	for _, x := range textClone.Templates() {
266		name := x.Name()
267		src := t.set[name]
268		if src == nil || src.escapeErr != nil {
269			return nil, fmt.Errorf("html/template: cannot Clone %q after it has executed", t.Name())
270		}
271		x.Tree = x.Tree.Copy()
272		ret.set[name] = &Template{
273			nil,
274			x,
275			x.Tree,
276			ret.nameSpace,
277		}
278	}
279	// Return the template associated with the name of this template.
280	return ret.set[ret.Name()], nil
281}
282
283// New allocates a new HTML template with the given name.
284func New(name string) *Template {
285	ns := &nameSpace{set: make(map[string]*Template)}
286	ns.esc = makeEscaper(ns)
287	tmpl := &Template{
288		nil,
289		template.New(name),
290		nil,
291		ns,
292	}
293	tmpl.set[name] = tmpl
294	return tmpl
295}
296
297// New allocates a new HTML template associated with the given one
298// and with the same delimiters. The association, which is transitive,
299// allows one template to invoke another with a {{template}} action.
300//
301// If a template with the given name already exists, the new HTML template
302// will replace it. The existing template will be reset and disassociated with
303// t.
304func (t *Template) New(name string) *Template {
305	t.nameSpace.mu.Lock()
306	defer t.nameSpace.mu.Unlock()
307	return t.new(name)
308}
309
310// new is the implementation of New, without the lock.
311func (t *Template) new(name string) *Template {
312	tmpl := &Template{
313		nil,
314		t.text.New(name),
315		nil,
316		t.nameSpace,
317	}
318	if existing, ok := tmpl.set[name]; ok {
319		emptyTmpl := New(existing.Name())
320		*existing = *emptyTmpl
321	}
322	tmpl.set[name] = tmpl
323	return tmpl
324}
325
326// Name returns the name of the template.
327func (t *Template) Name() string {
328	return t.text.Name()
329}
330
331type FuncMap = template.FuncMap
332
333// Funcs adds the elements of the argument map to the template's function map.
334// It must be called before the template is parsed.
335// It panics if a value in the map is not a function with appropriate return
336// type. However, it is legal to overwrite elements of the map. The return
337// value is the template, so calls can be chained.
338func (t *Template) Funcs(funcMap FuncMap) *Template {
339	t.text.Funcs(template.FuncMap(funcMap))
340	return t
341}
342
343// Delims sets the action delimiters to the specified strings, to be used in
344// subsequent calls to [Template.Parse], [ParseFiles], or [ParseGlob]. Nested template
345// definitions will inherit the settings. An empty delimiter stands for the
346// corresponding default: {{ or }}.
347// The return value is the template, so calls can be chained.
348func (t *Template) Delims(left, right string) *Template {
349	t.text.Delims(left, right)
350	return t
351}
352
353// Lookup returns the template with the given name that is associated with t,
354// or nil if there is no such template.
355func (t *Template) Lookup(name string) *Template {
356	t.nameSpace.mu.Lock()
357	defer t.nameSpace.mu.Unlock()
358	return t.set[name]
359}
360
361// Must is a helper that wraps a call to a function returning ([*Template], error)
362// and panics if the error is non-nil. It is intended for use in variable initializations
363// such as
364//
365//	var t = template.Must(template.New("name").Parse("html"))
366func Must(t *Template, err error) *Template {
367	if err != nil {
368		panic(err)
369	}
370	return t
371}
372
373// ParseFiles creates a new [Template] and parses the template definitions from
374// the named files. The returned template's name will have the (base) name and
375// (parsed) contents of the first file. There must be at least one file.
376// If an error occurs, parsing stops and the returned [*Template] is nil.
377//
378// When parsing multiple files with the same name in different directories,
379// the last one mentioned will be the one that results.
380// For instance, ParseFiles("a/foo", "b/foo") stores "b/foo" as the template
381// named "foo", while "a/foo" is unavailable.
382func ParseFiles(filenames ...string) (*Template, error) {
383	return parseFiles(nil, readFileOS, filenames...)
384}
385
386// ParseFiles parses the named files and associates the resulting templates with
387// t. If an error occurs, parsing stops and the returned template is nil;
388// otherwise it is t. There must be at least one file.
389//
390// When parsing multiple files with the same name in different directories,
391// the last one mentioned will be the one that results.
392//
393// ParseFiles returns an error if t or any associated template has already been executed.
394func (t *Template) ParseFiles(filenames ...string) (*Template, error) {
395	return parseFiles(t, readFileOS, filenames...)
396}
397
398// parseFiles is the helper for the method and function. If the argument
399// template is nil, it is created from the first file.
400func parseFiles(t *Template, readFile func(string) (string, []byte, error), filenames ...string) (*Template, error) {
401	if err := t.checkCanParse(); err != nil {
402		return nil, err
403	}
404
405	if len(filenames) == 0 {
406		// Not really a problem, but be consistent.
407		return nil, fmt.Errorf("html/template: no files named in call to ParseFiles")
408	}
409	for _, filename := range filenames {
410		name, b, err := readFile(filename)
411		if err != nil {
412			return nil, err
413		}
414		s := string(b)
415		// First template becomes return value if not already defined,
416		// and we use that one for subsequent New calls to associate
417		// all the templates together. Also, if this file has the same name
418		// as t, this file becomes the contents of t, so
419		//  t, err := New(name).Funcs(xxx).ParseFiles(name)
420		// works. Otherwise we create a new template associated with t.
421		var tmpl *Template
422		if t == nil {
423			t = New(name)
424		}
425		if name == t.Name() {
426			tmpl = t
427		} else {
428			tmpl = t.New(name)
429		}
430		_, err = tmpl.Parse(s)
431		if err != nil {
432			return nil, err
433		}
434	}
435	return t, nil
436}
437
438// ParseGlob creates a new [Template] and parses the template definitions from
439// the files identified by the pattern. The files are matched according to the
440// semantics of filepath.Match, and the pattern must match at least one file.
441// The returned template will have the (base) name and (parsed) contents of the
442// first file matched by the pattern. ParseGlob is equivalent to calling
443// [ParseFiles] with the list of files matched by the pattern.
444//
445// When parsing multiple files with the same name in different directories,
446// the last one mentioned will be the one that results.
447func ParseGlob(pattern string) (*Template, error) {
448	return parseGlob(nil, pattern)
449}
450
451// ParseGlob parses the template definitions in the files identified by the
452// pattern and associates the resulting templates with t. The files are matched
453// according to the semantics of filepath.Match, and the pattern must match at
454// least one file. ParseGlob is equivalent to calling t.ParseFiles with the
455// list of files matched by the pattern.
456//
457// When parsing multiple files with the same name in different directories,
458// the last one mentioned will be the one that results.
459//
460// ParseGlob returns an error if t or any associated template has already been executed.
461func (t *Template) ParseGlob(pattern string) (*Template, error) {
462	return parseGlob(t, pattern)
463}
464
465// parseGlob is the implementation of the function and method ParseGlob.
466func parseGlob(t *Template, pattern string) (*Template, error) {
467	if err := t.checkCanParse(); err != nil {
468		return nil, err
469	}
470	filenames, err := filepath.Glob(pattern)
471	if err != nil {
472		return nil, err
473	}
474	if len(filenames) == 0 {
475		return nil, fmt.Errorf("html/template: pattern matches no files: %#q", pattern)
476	}
477	return parseFiles(t, readFileOS, filenames...)
478}
479
480// IsTrue reports whether the value is 'true', in the sense of not the zero of its type,
481// and whether the value has a meaningful truth value. This is the definition of
482// truth used by if and other such actions.
483func IsTrue(val any) (truth, ok bool) {
484	return template.IsTrue(val)
485}
486
487// ParseFS is like [ParseFiles] or [ParseGlob] but reads from the file system fs
488// instead of the host operating system's file system.
489// It accepts a list of glob patterns.
490// (Note that most file names serve as glob patterns matching only themselves.)
491func ParseFS(fs fs.FS, patterns ...string) (*Template, error) {
492	return parseFS(nil, fs, patterns)
493}
494
495// ParseFS is like [Template.ParseFiles] or [Template.ParseGlob] but reads from the file system fs
496// instead of the host operating system's file system.
497// It accepts a list of glob patterns.
498// (Note that most file names serve as glob patterns matching only themselves.)
499func (t *Template) ParseFS(fs fs.FS, patterns ...string) (*Template, error) {
500	return parseFS(t, fs, patterns)
501}
502
503func parseFS(t *Template, fsys fs.FS, patterns []string) (*Template, error) {
504	var filenames []string
505	for _, pattern := range patterns {
506		list, err := fs.Glob(fsys, pattern)
507		if err != nil {
508			return nil, err
509		}
510		if len(list) == 0 {
511			return nil, fmt.Errorf("template: pattern matches no files: %#q", pattern)
512		}
513		filenames = append(filenames, list...)
514	}
515	return parseFiles(t, readFileFS(fsys), filenames...)
516}
517
518func readFileOS(file string) (name string, b []byte, err error) {
519	name = filepath.Base(file)
520	b, err = os.ReadFile(file)
521	return
522}
523
524func readFileFS(fsys fs.FS) func(string) (string, []byte, error) {
525	return func(file string) (name string, b []byte, err error) {
526		name = path.Base(file)
527		b, err = fs.ReadFile(fsys, file)
528		return
529	}
530}
531