MaikKlein

  time: 0.004; rss: 45MB	parsing
  time: 0.000; rss: 46MB	garbage collect incremental cache directory
  time: 0.000; rss: 46MB	recursion limit
  time: 0.000; rss: 46MB	crate injection
  time: 0.000; rss: 46MB	plugin loading
  time: 0.000; rss: 46MB	plugin registration
  time: 0.019; rss: 84MB	background load prev dep-graph
    time: 0.266; rss: 139MB	expand crate
    time: 0.000; rss: 139MB	check unused macros
  time: 0.266; rss: 139MB	expansion

MaikKlein

; SPIR-V
; Version: 1.0
; Generator: Google rspirv; 0
; Bound: 64
; Schema: 0
               OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %2 "compute" %12
               OpExecutionMode %2 LocalSize 1 1 1

MaikKlein

#[spirv(runtime_array_get)]
fn runtime_array_get<T, R>(data: T, index: usize) -> R {
    panic!()
}

impl<T> RuntimeArray<T> {
    pub fn get(&self, index: usize) -> T {
        runtime_array_get(self, index)
    }
}

MaikKlein

        if let Some(def_id) = ty.ty_to_def_id() {
                println!("{:?}", ty);
                let table = self.tcx.impl_trait_ref(def_id);
                println!("{:?}", table);
        }

MaikKlein

pub trait SpirvVector {
    type Intrinsic: Intrinsic;
}

unsafe trait Intrinsic {}

// This type has the metainformation
#[spirv(Vector3)]
struct SpirvVec3;

MaikKlein

error: internal compiler error: librustc/infer/canonical.rs:695: failed to lift QueryResult { var_values: CanonicalVarValues { var_values: ['?0, '?1, '?2] }, region_constraints: [Binder(OutlivesPredicate('?0, '?0)), Binder(OutlivesPredicate('?0, '?0)), Binder(OutlivesPredicate('?0, '?0)), Binder(OutlivesPredicate('?0, '?0)), Binder(OutlivesPredicate(ReStatic, '?2))], certainty: Proven, value: NormalizationResult { normalized_ty: Input<'_> } }, canonicalized from QueryResult { var_values: CanonicalVarValues { var_values: ['_#0r, '_#1r, '_#2r] }, region_constraints: [Binder(OutlivesPredicate('_#0r, '_#3r)), Binder(OutlivesPredicate('_#0r, '_#4r)), Binder(OutlivesPredicate('_#3r, '_#0r)), Binder(OutlivesPredicate('_#4r, '_#0r)), Binder(OutlivesPredicate(ReStatic, '_#2r))], certainty: Proven, value: NormalizationResult { normalized_ty: Input<'_> } }

MaikKlein

import java.util.ArrayList;


class HelloWorld
{
	public static void main(String[] args)
	{
		String input = "John;27;\nPeter;22;";
		System.out.println("Input:");
		System.out.println(input);

MaikKlein

import java.lang.Math; // headers MUST be above the first class
import java.util.ArrayList;

// one class needs to have a main() method
public class HelloWorld
{
  // arguments are passed using the text field below this editor
  public static void main(String[] args)
  {
    Persons p = new Persons("John;27;\nPeter;22;");

MaikKlein

Aufgabe 1:

State = () // Empty

Insert => [“xyz”,2018-05-07,HIGH]

State = ([“xyz”,2018-05-07,HIGH]) // Zeile 10 - 14, und 19 - 22 wurde durchlaufen

Insert => [“abc”,2018-06-17,LOW]

MaikKlein

    pub fn as_start_named(&self, name: &str) -> Option<&Start> {
        self.as_start()
            .into_iter()
            .filter(|start| start.name == name)
            .next()
    }