com.redhat.ceylon.compiler.java.language.CharArray Maven / Gradle / Ivy
package com.redhat.ceylon.compiler.java.language;
import javax.annotation.Generated;
import ceylon.language.Array;
import com.redhat.ceylon.compiler.java.Util;
import com.redhat.ceylon.compiler.java.metadata.Ceylon;
import com.redhat.ceylon.compiler.java.metadata.Class;
import com.redhat.ceylon.compiler.java.metadata.Defaulted;
import com.redhat.ceylon.compiler.java.metadata.Ignore;
import com.redhat.ceylon.compiler.java.metadata.Name;
import com.redhat.ceylon.compiler.java.metadata.TypeInfo;
import com.redhat.ceylon.compiler.java.metadata.ValueType;
import com.redhat.ceylon.compiler.java.runtime.model.ReifiedType;
import com.redhat.ceylon.compiler.java.runtime.model.TypeDescriptor;
import ceylon.language.AssertionError;
import ceylon.language.Callable;
import ceylon.language.Category$impl;
import ceylon.language.Comparison;
import ceylon.language.Entry;
import ceylon.language.Finished;
import ceylon.language.Iterable;
import ceylon.language.Iterable$impl;
import ceylon.language.Iterator;
import ceylon.language.List;
import ceylon.language.Null;
import ceylon.language.Sequential;
import ceylon.language.empty_;
import ceylon.language.finished_;
import ceylon.language.impl.BaseIterable;
/*
* THIS IS A GENERATED FILE - DO NOT EDIT
*/
/**
* A type representing Java primitive arrays of type
* {@code char[]}.
*
* @author Stéphane Épardaud
*/
/*
* THIS IS A GENERATED FILE - DO NOT EDIT
*/
//This type is never actually instantiated, it is always
//replaced by the Java object array type char[].
//
//The operations which call
//Util.makeJavaArrayWrapperException() are completely
//erased to Java array operators, or Util.fillArray()
//in the case of the constructor if the initial element is
//specified.
//
//Only the value type static methods are really invoked.
@Ceylon(major = 8)
@Class(constructors=true)
@ValueType
@Generated(value="ant")
public final class CharArray implements ReifiedType {
@Ignore
public final static TypeDescriptor $TypeDescriptor$ =
TypeDescriptor.klass(CharArray.class);
/**
* Create a new array of the given {@code size}, with
* all elements initialized to the given {@code element}.
*
* @throws NegativeArraySizeException if {@code size}
* is negative
* @param size the size of the array
* @param element the initial value of the array elements
*/
public CharArray(
/**
* The size of the new array.
*/
@Name("size") int size,
/**
* The initial value of the array elements.
*/
@TypeInfo("ceylon.language::Character")
@Defaulted @Name("element")
char element){
throw Util.makeJavaArrayWrapperException();
}
/**
* Create a new array of the given {@code size}, with
* all elements initialized to {@code null}.
*
* @throws NegativeArraySizeException if {@code size}
* is negative
* @param size the size of the array
*/
@Ignore
public CharArray(
/**
* The size of the new array.
*/
@Name("size") int size){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
// For consistency with the rules for ValueTypes
public static CharArray instance(char[] value){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public final static with_ with_ = null;
@Ignore
@com.redhat.ceylon.compiler.java.metadata.ConstructorName("with")
public static final class with_ {
private with_() {}
};
/**
* Synthetic constructor for creating an array with the same elements
* as the given iterable
*/
@ceylon.language.SharedAnnotation$annotation$
@com.redhat.ceylon.compiler.java.metadata.Name("with")
public CharArray(
@Ignore
with_ $name$,
@com.redhat.ceylon.common.NonNull
@Name("elements")
@TypeInfo("{ceylon.language::Character*}")
final Iterable elements$param$) {
throw Util.makeJavaArrayWrapperException();
}
/*
@Ignore
public final static from_ from_ = null;
@Ignore
@com.redhat.ceylon.compiler.java.metadata.ConstructorName("from")
public static final class from_ {
private from_() {}
};
@ceylon.language.SharedAnnotation$annotation$
@com.redhat.ceylon.compiler.java.metadata.Name("from")
public CharArray(
@Ignore
from_ $name$,
@com.redhat.ceylon.common.NonNull
@Name("array")
@TypeInfo("{ceylon.language::Character*}")
final Array array$param$) {
throw Util.makeJavaArrayWrapperException();
}*/
/**
* Synthetic method for unwrapping the array backing a {@code ceylon.language::Array}
*/
@ceylon.language.SharedAnnotation$annotation$
@ceylon.language.StaticAnnotation$annotation$
@com.redhat.ceylon.common.NonNull
@TypeInfo("com.redhat.ceylon.compiler.java.language::CharArray")
@com.redhat.ceylon.compiler.java.metadata.Name("from")
public static final CharArray from(@com.redhat.ceylon.common.NonNull
@Name("array")
@TypeInfo("ceylon.language::Array")
final ceylon.language.Array array$param$) {
throw Util.makeJavaArrayWrapperException();
}
/**
* Get the element with the given {@code index}.
*
* @param index the index within this array
* @return the element of this array at the given
* {@code index}
* @throws ArrayIndexOutOfBoundsException if the index
* does not refer to an element of this array
*/
public char get(@Name("index") int index) {
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public static char get(char[] value, int index) {
throw Util.makeJavaArrayWrapperException();
}
/**
* Set the element with the given {@code index} to the
* given {@code element} value.
*
* @param index the index within this array
* @param element the new element value
* @throws ArrayIndexOutOfBoundsException if the index
* does not refer to an element of this array
* @throws ArrayStoreException if the given element can
* not be stored in the array.
*/
public void set(
/**
* The index within the array.
*/
@Name("index")
int index,
/**
* The new value of the array element.
*/
@Name("element")
char element) {
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public static void set(char[] value, int index,
char element) {
throw Util.makeJavaArrayWrapperException();
}
/**
* The size of this Java primitive array.
*/
@Name("size")
public final int length = 0;
/**
* A view of this array as a Ceylon
* {@code Array}, where
* {@code java.lang::Character} is the Java wrapper type
* corresponding to the primitive type
* {@code char} of elements of this Java
* array.
*/
@TypeInfo("ceylon.language::Array")
public ceylon.language.Array getArray(){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public static ceylon.language.Array
getArray(char[] array){
return Array.instance(array);
}
///**
// * A view of this array as a Ceylon
// * {@code Array<@CeylonArrayGetterTypeName@>}
// * where {@code @CeylonArrayGetterTypeName@}
// * is the Ceylon type corresponding to the
// * primitive type {@code char}
// * of elements of this Java array.
// */
/*@TypeInfo("ceylon.language::Array<@CeylonArrayGetterTypeName@>")
public ceylon.language.Array<@CeylonArrayGetterType@>
NOTUSED(){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public static ceylon.language.Array<@CeylonArrayGetterType@>
NOTUSED(char[] array){
return Array.NOTUSED(array);
}*/
/**
* Efficiently copy a measure of this Java primitive
* array to the given Java primitive array.
*
* @param destination the array into which to copy the
* elements of this array
* @param sourcePosition the starting position within
* this array
* @param destinationPosition the starting position
* within the {@code destination} array
* @param length the number of elements to copy
*/
public void copyTo(@Name("destination") char[] destination,
@Name("sourcePosition") @Defaulted int sourcePosition,
@Name("destinationPosition") @Defaulted int destinationPosition,
@Name("length") @Defaulted int length){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public static void copyTo(char[] array,
char[] destination){
System.arraycopy(array, 0, destination, 0, array.length);
}
@Ignore
public static void copyTo(char[] array,
char[] destination,
int sourcePosition){
System.arraycopy(array, sourcePosition, destination,
0, array.length-sourcePosition);
}
@Ignore
public static void copyTo(char[] array,
char[] destination,
int sourcePosition, int destinationPosition){
System.arraycopy(array, sourcePosition, destination,
destinationPosition, array.length-sourcePosition);
}
@Ignore
public static void copyTo(char[] array,
char[] destination,
int sourcePosition, int destinationPosition,
int length){
System.arraycopy(array, sourcePosition, destination,
destinationPosition, length);
}
@Ignore
public int copyTo$sourcePosition(char[] destination){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public int copyTo$destinationPosition(char[] destination,
int sourcePosition){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public int copyTo$length(char[] destination,
int sourcePosition, int destinationPosition){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public void copyTo(char[] destination){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public void copyTo(char[] destination,
int sourcePosition){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public void copyTo(char[] destination,
int sourcePosition,
int destinationPosition){
throw Util.makeJavaArrayWrapperException();
}
@Ignore
@Override
public TypeDescriptor $getType$() {
throw Util.makeJavaArrayWrapperException();
}
@Override
public boolean equals(@Name("that") java.lang.Object that) {
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public static boolean equals(char[] value,
java.lang.Object that) {
return value.equals(that);
}
@Override
public int hashCode() {
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public static int hashCode(char[] value) {
return value.hashCode();
}
@Override
public java.lang.String toString() {
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public static java.lang.String toString(char[] value) {
return value.toString();
}
/**
* A clone of this primitive Java array.
*/
public char[] $clone() {
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public static char[] $clone(char[] value) {
return value.clone();
}
/**
* A Ceylon {@code Iterable} containing the
* elements of this primitive Java array.
*/
@TypeInfo("{ceylon.language::Character*}")
public ceylon.language.Iterable getIterable() {
throw Util.makeJavaArrayWrapperException();
}
@Ignore
public static ceylon.language.Iterable getIterable(char[] value) {
return new CharArrayIterable(value);
}
}
/* Implement Iterable */
class CharArrayIterable
extends BaseIterable {
/** The array over which we iterate */
private final char[] array;
/** The index where iteration starts */
private final int start;
/** The step size of iteration */
private final int step;
/** The index one beyond where iteration ends */
private final int end;
@Ignore
public CharArrayIterable(char[] array) {
this(array, 0, array.length, 1);
}
@Ignore
private CharArrayIterable(char[] array,
int start, int end, int step) {
super(ceylon.language.Character.$TypeDescriptor$, Null.$TypeDescriptor$);
if (start < 0) {
throw new ceylon.language.AssertionError("start must be positive");
}
if (end < 0) {
throw new ceylon.language.AssertionError("end must be positive");
}
if (step <= 0) {
throw new ceylon.language.AssertionError("step size must be greater than zero");
}
this.array = array;
this.start = start;
this.end = end;
this.step = step;
}
@Override
public boolean containsAny(Iterable arg0) {
Iterator iter = arg0.iterator();
Object item;
while (!((item = iter.next()) instanceof Finished)) {
if (item instanceof ceylon.language.Character) {
for (int ii = this.start; ii < this.end; ii+=this.step) {
if (array[ii] == ((ceylon.language.Character)item).intValue()) {
return true;
}
}
}
}
return false;
}
@Override
public boolean containsEvery(
Iterable arg0) {
Iterator iter = arg0.iterator();
Object item;
OUTER: while (!((item = iter.next()) instanceof Finished)) {
if (item instanceof ceylon.language.Character) {
for (int ii = this.start; ii < this.end; ii+=this.step) {
if (array[ii] == ((ceylon.language.Character)item).intValue()) {
continue OUTER;
}
}
}
return false;
}
return true;
}
@Override
public boolean any(Callable arg0) {
for (int ii=this.start; ii < this.end; ii+=this.step) {
if (arg0.$call$(ceylon.language.Character.instance(array[ii])).booleanValue()) {
return true;
}
}
return false;
}
@Override
public boolean contains(Object item) {
for (int ii = this.start; ii < this.end; ii+=this.step) {
if (item instanceof ceylon.language.Character
&& array[ii] == ((ceylon.language.Character)item).intValue()) {
return true;
}
}
return false;
}
@Override
public Iterable defaultNullElements(
@Ignore
TypeDescriptor $reified$Default,
Default defaultValue) {
return this;
}
@Override
public Iterable getCoalesced() {
return this;
}
@Override
public boolean getEmpty() {
return this.end <= this.start;
}
@Override
public long getSize() {
return java.lang.Math.max(0, (this.end-this.start+this.step-1)/this.step);
}
@Override
public ceylon.language.Character getFirst() {
return this.getEmpty() ? null : ceylon.language.Character.instance(this.array[this.start]);
}
@Override
public ceylon.language.Character getLast() {
return this.getEmpty() ? null : ceylon.language.Character.instance(this.array[this.end-1]);
}
@Override
public CharArrayIterable getRest() {
return new CharArrayIterable(this.array, this.start+1, this.end, this.step);
}
@Override
public Sequential sequence() {
// Note: Sequential is immutable, and we don't know where the array
// came from, so however we create the sequence we must take a copy
//TODO: use a more efficient imple, like in List.sequence()
return super.sequence();
}
@Override
public Iterator iterator() {
if (this.getEmpty()) {
return (Iterator)ceylon.language.emptyIterator_.get_();
}
return new Iterator() {
private int index = CharArrayIterable.this.start;
@Override
public Object next() {
if (index < CharArrayIterable.this.end) {
ceylon.language.Character result = ceylon.language.Character.instance(CharArrayIterable.this.array[index]);
index += CharArrayIterable.this.step;
return result;
} else {
return finished_.get_();
}
}
};
}
@Override
public boolean longerThan(long length) {
return this.getSize() > length;
}
@Override
public boolean shorterThan(long length) {
return this.getSize() < length;
}
@Override
public CharArrayIterable by(long step) {
return new CharArrayIterable(this.array,
this.start,
this.end,
com.redhat.ceylon.compiler.java.Util.toInt(this.step*step));
}
@Override
public CharArrayIterable skip(long skip) {
if (skip <= 0) {
return this;
}
return new CharArrayIterable(this.array,
com.redhat.ceylon.compiler.java.Util.toInt(this.start+skip*this.step),
this.end,
this.step);
}
@Override
public CharArrayIterable take(long take) {
if (take >= this.getSize()) {
return this;
}
return new CharArrayIterable(this.array,
this.start,
com.redhat.ceylon.compiler.java.Util.toInt(this.start+take*this.step),
this.step);
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy