pub enum Branch {
If(Box<If>),
IfElse(Box<IfElse>),
Switch(Box<Switch>),
RangeLoop(Box<RangeLoop>),
Loop(Box<Loop>),
Return,
Break,
Unreachable,
}Expand description
All branching types.
Variants§
If(Box<If>)
An if statement.
IfElse(Box<IfElse>)
An if else statement.
Switch(Box<Switch>)
A switch statement
RangeLoop(Box<RangeLoop>)
A range loop.
Loop(Box<Loop>)
A loop.
Return
A return statement.
Break
A break statement.
Unreachable
Unreachable block end (equivalent to unreachable_unchecked())
Trait Implementations§
Source§impl<'de> Deserialize<'de> for Branch
impl<'de> Deserialize<'de> for Branch
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for Branch
Source§impl From<Branch> for Instruction
impl From<Branch> for Instruction
Source§impl OperationReflect for Branch
impl OperationReflect for Branch
Source§type OpCode = BranchOpCode
type OpCode = BranchOpCode
Type of the op codes for this operation
Source§fn sanitize_args(&mut self, scope: &Scope)
fn sanitize_args(&mut self, scope: &Scope)
Sanitize args, i.e. loading inputs from pointers for ops that take values
Source§fn args(&self) -> Option<Vec<Value>>
fn args(&self) -> Option<Vec<Value>>
Get the list of arguments for this operation. If not all arguments are
Value, returns
None instead.fn args_mut(&mut self) -> Option<Vec<&mut Value>>
Source§fn from_code_and_args(op_code: Self::OpCode, args: &[Value]) -> Option<Self>
fn from_code_and_args(op_code: Self::OpCode, args: &[Value]) -> Option<Self>
Create typed operation from an opcode and a list of arguments. Returns
None if not all
arguments are Value.Source§fn is_commutative(&self) -> bool
fn is_commutative(&self) -> bool
Whether this operation is commutative (arguments can be freely reordered). Ignored for
single argument operations.
Source§fn is_pure(&self) -> bool
fn is_pure(&self) -> bool
Whether this operation is pure (has no side effects). Things like uniform/plane operations
are considered impure, because they affect other units.
fn read_pointers(&self) -> Vec<Value>
fn write_pointers(&self) -> Vec<Value>
impl StructuralPartialEq for Branch
Auto Trait Implementations§
impl !RefUnwindSafe for Branch
impl !Send for Branch
impl !Sync for Branch
impl !UnwindSafe for Branch
impl Freeze for Branch
impl Unpin for Branch
impl UnsafeUnpin for Branch
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more