📄 platform.scala
字号:
/* __ *\** ________ ___ / / ___ Scala API **** / __/ __// _ | / / / _ | (c) 2002-2008, LAMP/EPFL **** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **** /____/\___/_/ |_/____/_/ | | **** |/ **\* */// $Id: Platform.scala 13623 2007-12-21 16:52:44Z michelou $package scala.compatimport java.lang.Systemimport Predef._object Platform { //type StackOverflowError = java.lang.StackOverflowError type ConcurrentModificationException = java.lang.RuntimeException /** * @param src .. * @param srcPos .. * @param dest .. * @param destPos .. * @param length .. */ def arraycopy(src: AnyRef, srcPos: Int, dest: AnyRef, destPos: Int, length: Int): Unit = System.arraycopy(src, srcPos, dest, destPos, length) /** Create array of the same type as arrayInstance with the given * length. * * @param elemClass .. * @param length .. * @return .. */ def createArray(elemClass: Class[_], length: Int): AnyRef = throw new RuntimeException("" + elemClass + "[" + length+ "]") //java.lang.reflect.Array.newInstance(elemClass, length) //def arrayclear(arr: Array[Int]): Unit = java.util.Arrays.fill(arr, 0) def arrayclear(arr: Array[Int]): Unit = for (i <- 0 to arr.length) arr(i) = 0 def getClassForName(name: String): Class[_] = java.lang.Class.forName(name) val EOL = "\n" def currentTime: Long = System.currentTimeMillis() def collectGarbage: Unit = System.gc()}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -