Commit2a8fb1e

committed

Addnew_unchecked

1 parent742b709 commit2a8fb1eCopy full SHA for 2a8fb1e

File tree

+62

-25

lines changed

+62

-25

lines changed

Lines changed: 46 additions & 24 deletions

Some generated files are not rendered by default. Learn more aboutcustomizing how changed files appear on GitHub.

Lines changed: 16 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -164,6 +164,21 @@ def rust_code(self) -> str:`
`164`	`164`	`{impls}`
`165`	`165`	`""".strip()`
`166`	`166`
	`167`	`+@property`
	`168`	`+deffn_new_unchecked(self)->str:`
	`169`	`+returnf"""`
	`170`	+/// Creates a new `{self.enum_name}` without checking the value is a valid opcode ID.
	`171`	`+///`
	`172`	`+/// # Safety`
	`173`	`+///`
	`174`	+/// The caller must ensure that `id` satisfies `{self.enum_name}::is_valid(id)`.
	`175`	`+#[must_use]`
	`176`	`+pub const unsafe fn new_unchecked(id:{self.typ}) -> Self {{`
	`177`	`+ // SAFETY: caller responsibility`
	`178`	`+ unsafe {{ std::mem::transmute::<{self.typ}, Self>(id) }}`
	`179`	`+}}`
	`180`	`+"""`
	`181`	`+`
`167`	`182`	`@property`
`168`	`183`	`deffn_is_valid(self)->str:`
`169`	`184`	`valid_ranges=fmt_ranges(`
`@@ -253,7 +268,7 @@ def fn_prefix(typ: str):`
`253`	`268`	`{fn_prefix(typ)}`
`254`	`269`	`if Self::is_valid(id) {{`
`255`	`270`	`// SAFETY: We just validated that we have a valid opcode id.`
`256`		`- Ok(unsafe {{std::mem::transmute::<{self.typ}, Self>(id) }})`
	`271`	`+ Ok(unsafe {{Self::new_unchecked(id) }})`
`257`	`272`	`}} else {{`
`258`	`273`	`Err(())`
`259`	`274`	`}}`

Comments

(0)