Trait miri::shims::unix::env::EvalContextExt

source ·

pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn getenv(&mut self, name_op: &OpTy<'tcx>) -> InterpResult<'tcx, Pointer> { ... }
    fn setenv(
        &mut self,
        name_op: &OpTy<'tcx>,
        value_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn unsetenv(&mut self, name_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
    fn getcwd(
        &mut self,
        buf_op: &OpTy<'tcx>,
        size_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Pointer> { ... }
    fn chdir(&mut self, path_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
    fn update_environ(&mut self) -> InterpResult<'tcx> { ... }
    fn getpid(&mut self) -> InterpResult<'tcx, Scalar> { ... }
    fn linux_gettid(&mut self) -> InterpResult<'tcx, Scalar> { ... }
}