Skip to main content

module lang::flybytes::tests::MirrorTests

rascal-0.34.0
flybytes-0.2.3

Usage​

import lang::flybytes::tests::MirrorTests;

Source code​

http://github.com/usethesource/flybytes/blob/main/src/lang/flybytes/tests/MirrorTests.rsc

Dependencies​

import lang::flybytes::Mirror;
import lang::flybytes::api::JavaLang;
import lang::flybytes::Syntax;

Tests

test intId​

test bool intId(int v) = v % maxValue(integer()) == integer(integer(v % maxValue(integer())));

test longId​

test bool longId(int v) = v % maxValue(long()) == long(long(v % maxValue(long())));

test byteId​

test bool byteId(int v) = v % maxValue(byte()) == byte(byte(v % maxValue(byte())));

test shortId​

test bool shortId(int v) = v % maxValue(short()) == short(short(v % maxValue(short())));

test stringId​

test bool stringId(str x) = x == string(string(x));

test doubleId​

test bool doubleId() {
   for (d <- [1.0,1.5..10.0]) {
     if (double(double(d)) != d) {
       return false;
     }
   }
   return true;
}

test floatId​

test bool floatId() {
   for (f <- [1.0,1.5..10.0]) {
     if (float(float(f)) != f) {
       return false;
     }
   }
   return true;
}

test arrayMirror​

test bool arrayMirror(list[int] v) {
  a = array(integer(), [integer(e mod 1000) | e <- v]);
 
  int i = a.length() - 1;
  while (i >= 0) {
    if (a.load(i).toValue(#int) mod 1000 != v[i] mod 1000) {
      return false;
    }
    i -= 1;
  } 
  
  return true;
}

test floatStatic​

test bool floatStatic()
  = classMirror("java.lang.Float").getStatic("MAX_VALUE").toValue(#real) == 3.4028235E38;

test doubleStatic​

test bool doubleStatic()
  = classMirror("java.lang.Double").getStatic("MAX_VALUE").toValue(#real) == 1.7976931348623157E308;

test longStatic​

test bool longStatic()
  = classMirror("java.lang.Long").getStatic("MAX_VALUE").toValue(#int) == 9223372036854775807;

test intStatic​

test bool intStatic()
  = classMirror("java.lang.Integer").getStatic("MAX_VALUE").toValue(#int) == 2147483647;

test newInstance​

test bool newInstance()
  = classMirror("java.lang.Integer").newInstance(constructorDesc([string()]), [string("12")]).toValue(#int) == 12;

test invokeStatic​

test bool invokeStatic()
  = classMirror("java.lang.Integer").invokeStatic(methodDesc(integer(), "parseInt", [string()]), [string("100")]).toValue(#int) == 100;

test getField​

test bool getField() 
  = classMirror("java.awt.Point").newInstance(constructorDesc([]),[]).getField("x").toValue(#int) == 0;

test invokeMethod​

test bool invokeMethod() {
  // create a Point instance at (0,0)
  p = classMirror("java.awt.Point").newInstance(constructorDesc([]),[]);
  
  // method with side effect! move to (1,2)
  p.invoke(methodDesc(\void(),"move", [integer(),integer()]), [integer(1), integer(2)]);
  
  // observe side effect
  return p.getField("x").toValue(#int) == 1
      && p.getField("y").toValue(#int) == 2;
}

test staticClassName​

test bool staticClassName() = classMirror("java.awt.Point").class == "java.awt.Point";

test objectClassName​

test bool objectClassName() = classMirror("java.awt.Point").newInstance(constructorDesc([]),[]).classMirror.class == "java.awt.Point";

test arrayLoadInteger​

test bool arrayLoadInteger()
  = array(integer(), [integer(1331)]).load(0).toValue(#int) == 1331;

test arrayLoadLong​

test bool arrayLoadLong()
  = array(long(), [long(maxValue(long()))]).load(0).toValue(#int) == maxValue(long());

test arrayLoadObjectNull​

test bool arrayLoadObjectNull()
  = array(object(), 10).load(0) == Mirror::null();

test arrayLoadStringNull​

test bool arrayLoadStringNull()
  = array(string(), 10).load(0) == Mirror::null();

test arrayLoadStringSingleton​

test bool arrayLoadStringSingleton()
  = string(array(string(), [string("x")]).load(0)) == "x";

test arrayLoadStringTwo​

test bool arrayLoadStringTwo()
  = string(array(string(), [string("x"), string("y")]).load(1)) == "y";

test arrayLengthFilled​

test bool arrayLengthFilled(int l)
  = array(integer(), [integer(e) | e <- [0..l mod 100]]).length() == l mod 100;

test arrayLengthStringFilled​

test bool arrayLengthStringFilled(int l)
  = array(string(), [string("<e>") | e <- [0..l mod 100]]).length() == l mod 100;

test arrayLengthDefault​

test bool arrayLengthDefault()
  = array(integer(), 100).length() == 100;

test annoMirror​

test bool annoMirror() 
  = classMirror("java.lang.Deprecated").getAnnotation(object("java.lang.annotation.Retention")) != null();