org.jetbrains.kotlin.incremental.fileUtils.kt Maven / Gradle / Ivy
/*
* Copyright 2010-2016 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.jetbrains.kotlin.incremental
import java.io.File
import java.io.IOException
fun File.isJavaFile() =
extension.equals("java", ignoreCase = true)
fun File.isKotlinFile(sourceFilesExtensions: Collection): Boolean =
!isJavaFile() && sourceFilesExtensions.any { it.equals(extension, ignoreCase = true) }
fun File.isClassFile(): Boolean =
extension.equals("class", ignoreCase = true)
/**
* Deletes the contents of this directory (not the directory itself).
*
* If the directory does not exist or if this is a regular file, this method will throw an exception.
*/
fun File.deleteDirectoryContents() {
when {
isDirectory -> listFiles()!!.forEach { it.deleteRecursivelyOrThrow() }
isFile -> error("Expected a directory but found a regular file: $path")
else -> error("Directory does not exist: $path")
}
}
/** Deletes this file or directory recursively (if it exists), throwing an exception if the deletion failed. */
fun File.deleteRecursivelyOrThrow() {
if (!deleteRecursively()) {
throw IOException("Could not delete '$path'")
}
}
/**
* Creates this directory (if it does not yet exist).
*
* If a regular file already exists at this path, this method will throw an exception.
*/
@Suppress("SpellCheckingInspection")
fun File.createDirectory() {
when {
isDirectory -> Unit
isFile -> error("A regular file already exists at this path: $path")
else -> {
// Note that `mkdirs()` returns `false` if the directory already exists (even though we have checked that the directory did not
// exist earlier, it might just have been created by some other thread). Therefore, we need to check if the directory exists
// again when `mkdirs()` returns `false`.
if (!mkdirs() && !isDirectory) {
throw IOException("Could not create directory '$path'")
}
}
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy