package init
This commit is contained in:
fun_yang
parent
f63c879dd9
commit
fc1458b33d
27
commons-compiler-2.7.8.pom
Normal file
27
commons-compiler-2.7.8.pom
Normal file
@ -0,0 +1,27 @@
|
||||
<?xml version="1.0"?>
|
||||
<project
|
||||
xmlns="http://maven.apache.org/POM/4.0.0"
|
||||
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
||||
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0
|
||||
http://maven.apache.org/xsd/maven-4.0.0.xsd"
|
||||
>
|
||||
<modelVersion>4.0.0</modelVersion>
|
||||
|
||||
<parent>
|
||||
<groupId>org.codehaus.janino</groupId>
|
||||
<artifactId>janino-parent</artifactId>
|
||||
<version>2.7.8</version>
|
||||
</parent>
|
||||
|
||||
<artifactId>commons-compiler</artifactId>
|
||||
|
||||
<name>Commons Compiler</name>
|
||||
|
||||
<dependencies>
|
||||
<dependency>
|
||||
<groupId>junit</groupId>
|
||||
<artifactId>junit</artifactId>
|
||||
<scope>test</scope>
|
||||
</dependency>
|
||||
</dependencies>
|
||||
</project>
|
||||
39
commons-compiler-jdk-2.7.8.pom
Normal file
39
commons-compiler-jdk-2.7.8.pom
Normal file
@ -0,0 +1,39 @@
|
||||
<?xml version="1.0"?>
|
||||
<project
|
||||
xmlns="http://maven.apache.org/POM/4.0.0"
|
||||
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
||||
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0
|
||||
http://maven.apache.org/xsd/maven-4.0.0.xsd"
|
||||
>
|
||||
<modelVersion>4.0.0</modelVersion>
|
||||
|
||||
<parent>
|
||||
<groupId>org.codehaus.janino</groupId>
|
||||
<artifactId>janino-parent</artifactId>
|
||||
<version>2.7.8</version>
|
||||
</parent>
|
||||
|
||||
<artifactId>commons-compiler-jdk</artifactId>
|
||||
|
||||
<name>Commons Compiler Jdk</name>
|
||||
|
||||
<dependencies>
|
||||
<dependency>
|
||||
<groupId>org.codehaus.janino</groupId>
|
||||
<artifactId>commons-compiler</artifactId>
|
||||
</dependency>
|
||||
</dependencies>
|
||||
|
||||
<build>
|
||||
<plugins>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-compiler-plugin</artifactId>
|
||||
<configuration>
|
||||
<source>1.6</source>
|
||||
<target>1.6</target>
|
||||
</configuration>
|
||||
</plugin>
|
||||
</plugins>
|
||||
</build>
|
||||
</project>
|
||||
24
janino-2.7.8-remove-nullanalysis-annotations.patch
Normal file
24
janino-2.7.8-remove-nullanalysis-annotations.patch
Normal file
@ -0,0 +1,24 @@
|
||||
diff -Nru janino-2.7.8/commons-compiler-jdk/src/org/codehaus/commons/compiler/jdk/package-info.java janino-2.7.8.nullanalysis/commons-compiler-jdk/src/org/codehaus/commons/compiler/jdk/package-info.java
|
||||
--- janino-2.7.8/commons-compiler-jdk/src/org/codehaus/commons/compiler/jdk/package-info.java 2014-12-17 22:06:58.000000000 +0100
|
||||
+++ janino-2.7.8.nullanalysis/commons-compiler-jdk/src/org/codehaus/commons/compiler/jdk/package-info.java 2015-02-11 04:39:15.055288383 +0100
|
||||
@@ -25,8 +25,5 @@
|
||||
*/
|
||||
|
||||
/** Main package of the plugin. */
|
||||
-@NotNullByDefault
|
||||
package org.codehaus.commons.compiler.jdk;
|
||||
|
||||
-import de.unkrig.commons.nullanalysis.NotNullByDefault;
|
||||
-
|
||||
diff -Nru janino-2.7.8/commons-compiler-jdk/src/org/codehaus/commons/io/package-info.java janino-2.7.8.nullanalysis/commons-compiler-jdk/src/org/codehaus/commons/io/package-info.java
|
||||
--- janino-2.7.8/commons-compiler-jdk/src/org/codehaus/commons/io/package-info.java 2014-12-17 22:07:00.000000000 +0100
|
||||
+++ janino-2.7.8.nullanalysis/commons-compiler-jdk/src/org/codehaus/commons/io/package-info.java 2015-02-11 04:38:47.904850661 +0100
|
||||
@@ -25,8 +25,5 @@
|
||||
*/
|
||||
|
||||
/** I/O utilities. */
|
||||
-@NotNullByDefault
|
||||
package org.codehaus.commons.io;
|
||||
|
||||
-import de.unkrig.commons.nullanalysis.NotNullByDefault;
|
||||
-
|
||||
37
janino-2.7.8.pom
Normal file
37
janino-2.7.8.pom
Normal file
@ -0,0 +1,37 @@
|
||||
<?xml version="1.0"?>
|
||||
<project
|
||||
xmlns="http://maven.apache.org/POM/4.0.0"
|
||||
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
||||
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0
|
||||
http://maven.apache.org/xsd/maven-4.0.0.xsd"
|
||||
>
|
||||
<modelVersion>4.0.0</modelVersion>
|
||||
|
||||
<parent>
|
||||
<groupId>org.codehaus.janino</groupId>
|
||||
<artifactId>janino-parent</artifactId>
|
||||
<version>2.7.8</version>
|
||||
</parent>
|
||||
|
||||
<artifactId>janino</artifactId>
|
||||
|
||||
<name>Janino</name>
|
||||
|
||||
<dependencies>
|
||||
<dependency>
|
||||
<groupId>junit</groupId>
|
||||
<artifactId>junit</artifactId>
|
||||
<scope>test</scope>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>org.apache.ant</groupId>
|
||||
<artifactId>ant-nodeps</artifactId>
|
||||
<optional>true</optional>
|
||||
</dependency>
|
||||
|
||||
<dependency>
|
||||
<groupId>org.codehaus.janino</groupId>
|
||||
<artifactId>commons-compiler</artifactId>
|
||||
</dependency>
|
||||
</dependencies>
|
||||
</project>
|
||||
BIN
janino-2.7.8.zip
Normal file
BIN
janino-2.7.8.zip
Normal file
Binary file not shown.
263
janino-parent-2.7.8.pom
Normal file
263
janino-parent-2.7.8.pom
Normal file
@ -0,0 +1,263 @@
|
||||
<?xml version="1.0"?>
|
||||
<project
|
||||
xmlns="http://maven.apache.org/POM/4.0.0"
|
||||
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
||||
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0
|
||||
http://maven.apache.org/xsd/maven-4.0.0.xsd"
|
||||
>
|
||||
<modelVersion>4.0.0</modelVersion>
|
||||
|
||||
<parent>
|
||||
<groupId>org.codehaus</groupId>
|
||||
<artifactId>codehaus-parent</artifactId>
|
||||
<version>4</version>
|
||||
</parent>
|
||||
|
||||
<groupId>org.codehaus.janino</groupId>
|
||||
<artifactId>janino-parent</artifactId>
|
||||
<version>2.7.8</version>
|
||||
<packaging>pom</packaging>
|
||||
|
||||
<name>Janino Parent</name>
|
||||
<description>
|
||||
Janino is a compiler that reads a JavaTM expression, block, class body, source file or a set of source files, and
|
||||
generates JavaTM bytecode that is loaded and executed directly. Janino is not intended to be a development tool,
|
||||
but an embedded compiler for run-time compilation purposes, e.g. expression evaluators or "server pages" engines
|
||||
like JSP.
|
||||
</description>
|
||||
<url>http://docs.codehaus.org/display/JANINO/Home</url>
|
||||
<inceptionYear>2001</inceptionYear>
|
||||
<licenses>
|
||||
<license>
|
||||
<name>New BSD License</name>
|
||||
<url>http://dist.codehaus.org/janino/new_bsd_license.txt</url>
|
||||
<distribution>repo</distribution>
|
||||
</license>
|
||||
</licenses>
|
||||
|
||||
<mailingLists>
|
||||
<mailingList>
|
||||
<name>Development List</name>
|
||||
<subscribe>dev-subscribe@janino.codehaus.org</subscribe>
|
||||
<unsubscribe>dev-unsubscribe@janino.codehaus.org</unsubscribe>
|
||||
<post>dev@janino.codehaus.org</post>
|
||||
<archive>http://archive.janino.codehaus.org/dev/</archive>
|
||||
</mailingList>
|
||||
<mailingList>
|
||||
<name>User List</name>
|
||||
<subscribe>user-subscribe@janino.codehaus.org</subscribe>
|
||||
<unsubscribe>user-unsubscribe@janino.codehaus.org</unsubscribe>
|
||||
<post>user@janino.codehaus.org</post>
|
||||
<archive>http://archive.janino.codehaus.org/user/</archive>
|
||||
</mailingList>
|
||||
<mailingList>
|
||||
<name>Commits List</name>
|
||||
<subscribe>scm-subscribe@janino.codehaus.org</subscribe>
|
||||
<unsubscribe>scm-unsubscribe@janino.codehaus.org</unsubscribe>
|
||||
<archive>http://archive.janino.codehaus.org/scm/</archive>
|
||||
</mailingList>
|
||||
</mailingLists>
|
||||
|
||||
<developers>
|
||||
<developer>
|
||||
<id>aunkrig</id>
|
||||
<name>Arno Unkrig</name>
|
||||
<roles>
|
||||
<role>Despot</role>
|
||||
<role>Developer</role>
|
||||
</roles>
|
||||
</developer>
|
||||
</developers>
|
||||
|
||||
<modules>
|
||||
<module>commons-compiler</module>
|
||||
<module>commons-compiler-jdk</module>
|
||||
<module>janino</module>
|
||||
</modules>
|
||||
|
||||
<scm>
|
||||
<connection>scm:svn:http://svn.codehaus.org/janino/tags/janino_2.7.8/</connection>
|
||||
<developerConnection>scm:svn:https://svn.codehaus.org/janino/tags/janino_2.7.8/</developerConnection>
|
||||
<url>http://fisheye.codehaus.org/browse/janino/tags/janino_2.7.8/</url>
|
||||
</scm>
|
||||
<issueManagement>
|
||||
<system>Jira</system>
|
||||
<url>http://jira.codehaus.org/browse/JANINO</url>
|
||||
</issueManagement>
|
||||
|
||||
<dependencyManagement>
|
||||
<dependencies>
|
||||
<dependency>
|
||||
<groupId>org.codehaus.janino</groupId>
|
||||
<artifactId>commons-compiler</artifactId>
|
||||
<version>2.7.8</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>org.codehaus.janino</groupId>
|
||||
<artifactId>commons-compiler-jdk</artifactId>
|
||||
<version>2.7.8</version>
|
||||
</dependency>
|
||||
|
||||
<dependency>
|
||||
<groupId>junit</groupId>
|
||||
<artifactId>junit</artifactId>
|
||||
<version>4.7</version>
|
||||
<scope>test</scope>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>org.apache.ant</groupId>
|
||||
<artifactId>ant-nodeps</artifactId>
|
||||
<version>1.7.1</version>
|
||||
<optional>true</optional>
|
||||
</dependency>
|
||||
</dependencies>
|
||||
</dependencyManagement>
|
||||
|
||||
<build>
|
||||
<sourceDirectory>src</sourceDirectory>
|
||||
<testSourceDirectory>tests</testSourceDirectory>
|
||||
|
||||
<plugins>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-compiler-plugin</artifactId>
|
||||
<version>2.3</version>
|
||||
<configuration>
|
||||
<source>1.2</source>
|
||||
<target>1.1</target>
|
||||
<testSource>1.6</testSource>
|
||||
<testTarget>1.6</testTarget>
|
||||
</configuration>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-surefire-plugin</artifactId>
|
||||
<version>2.4.3</version>
|
||||
<configuration>
|
||||
<test>**/*Tests</test>
|
||||
<failIfNoTests>false</failIfNoTests>
|
||||
</configuration>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.codehaus.mojo</groupId>
|
||||
<artifactId>buildnumber-maven-plugin</artifactId>
|
||||
<version>1.0-beta-2</version>
|
||||
<configuration>
|
||||
<format>{0,date,yyyy-MM-dd HH:mm:ss}</format>
|
||||
<items>
|
||||
<item>timestamp</item>
|
||||
</items>
|
||||
</configuration>
|
||||
<executions>
|
||||
<execution>
|
||||
<phase>validate</phase>
|
||||
<goals>
|
||||
<goal>create</goal>
|
||||
</goals>
|
||||
</execution>
|
||||
</executions>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-clean-plugin</artifactId>
|
||||
<version>2.4</version>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-resources-plugin</artifactId>
|
||||
<version>2.4.2</version>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-install-plugin</artifactId>
|
||||
<version>2.3</version>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-deploy-plugin</artifactId>
|
||||
<version>2.5</version>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-site-plugin</artifactId>
|
||||
<version>2.0.1</version>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-source-plugin</artifactId>
|
||||
<version>2.1.1</version>
|
||||
<executions>
|
||||
<execution>
|
||||
<id>attach-sources</id>
|
||||
<goals>
|
||||
<goal>jar</goal>
|
||||
</goals>
|
||||
</execution>
|
||||
</executions>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-jar-plugin</artifactId>
|
||||
<version>2.3</version>
|
||||
</plugin>
|
||||
</plugins>
|
||||
</build>
|
||||
|
||||
<reporting>
|
||||
<plugins>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-project-info-reports-plugin</artifactId>
|
||||
<version>2.1.2</version>
|
||||
</plugin>
|
||||
</plugins>
|
||||
</reporting>
|
||||
|
||||
<profiles>
|
||||
<profile>
|
||||
<id>reporting</id>
|
||||
<reporting>
|
||||
<plugins>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-javadoc-plugin</artifactId>
|
||||
<version>2.5</version>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-pmd-plugin</artifactId>
|
||||
<version>2.4</version>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-surefire-report-plugin</artifactId>
|
||||
<version>2.4.3</version>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-jxr-plugin</artifactId>
|
||||
<version>2.1</version>
|
||||
<configuration>
|
||||
<inputEncoding>${project.build.sourceEncoding}</inputEncoding><!-- not needed in 2.2 -->
|
||||
</configuration>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.codehaus.mojo</groupId>
|
||||
<artifactId>findbugs-maven-plugin</artifactId>
|
||||
<version>1.1.1</version>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.codehaus.mojo</groupId>
|
||||
<artifactId>jdepend-maven-plugin</artifactId>
|
||||
<version>2.0-beta-2</version>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.codehaus.mojo</groupId>
|
||||
<artifactId>javancss-maven-plugin</artifactId>
|
||||
<version>2.0</version>
|
||||
</plugin>
|
||||
</plugins>
|
||||
</reporting>
|
||||
</profile>
|
||||
</profiles>
|
||||
</project>
|
||||
116
janino.spec
Normal file
116
janino.spec
Normal file
@ -0,0 +1,116 @@
|
||||
# Copyright (c) 2000-2007, JPackage Project
|
||||
# All rights reserved.
|
||||
#
|
||||
# Redistribution and use in source and binary forms, with or without
|
||||
# modification, are permitted provided that the following conditions
|
||||
# are met:
|
||||
#
|
||||
# 1. Redistributions of source code must retain the above copyright
|
||||
# notice, this list of conditions and the following disclaimer.
|
||||
# 2. Redistributions in binary form must reproduce the above copyright
|
||||
# notice, this list of conditions and the following disclaimer in the
|
||||
# documentation and/or other materials provided with the
|
||||
# distribution.
|
||||
# 3. Neither the name of the JPackage Project nor the names of its
|
||||
# contributors may be used to endorse or promote products derived
|
||||
# from this software without specific prior written permission.
|
||||
#
|
||||
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
||||
# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
||||
# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
||||
# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
||||
# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
||||
# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
||||
# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
||||
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
||||
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
||||
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
||||
# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
#
|
||||
Name: janino
|
||||
Version: 2.7.8
|
||||
Release: 11
|
||||
Summary: A super-small, super-fast Java compiler.
|
||||
License: BSD
|
||||
URL: http://janino-compiler.github.io/janino
|
||||
Source0: http://janino.unkrig.de/download/%{name}-%{version}.zip
|
||||
Source1: https://repo1.maven.org/maven2/org/codehaus/%{name}/%{name}-parent/%{version}/%{name}-parent-%{version}.pom
|
||||
Source2: https://repo1.maven.org/maven2/org/codehaus/%{name}/commons-compiler/%{version}/commons-compiler-%{version}.pom
|
||||
Source3: https://repo1.maven.org/maven2/org/codehaus/%{name}/commons-compiler-jdk/%{version}/commons-compiler-jdk-%{version}.pom
|
||||
Source4: https://repo1.maven.org/maven2/org/codehaus/%{name}/%{name}/%{version}/%{name}-%{version}.pom
|
||||
# removes the de.unkrig.commons.nullanalysis annotations
|
||||
Patch0: %{name}-2.7.8-remove-nullanalysis-annotations.patch
|
||||
|
||||
BuildRequires: maven-local mvn(junit:junit) mvn(org.apache.ant:ant)
|
||||
BuildRequires: mvn(org.apache.maven.plugins:maven-enforcer-plugin)
|
||||
BuildRequires: mvn(org.codehaus:codehaus-parent:pom:)
|
||||
BuildRequires: /usr/bin/perl
|
||||
|
||||
BuildArch: noarch
|
||||
|
||||
%description
|
||||
Janino can not only compile a set of source files to a set of class files like JAVAC,
|
||||
but also compile a Java expression, a block, a class body, one .java file or a set of
|
||||
.java files in memory, load the bytecode and execute it directly in the same JVM.
|
||||
|
||||
%package help
|
||||
Provides: %{name}-javadoc = %{version}-%{release}
|
||||
Obsoletes: %{name}-javadoc < %{version}-%{release}
|
||||
Summary: Javadoc for janino.
|
||||
|
||||
%description help
|
||||
This package contains Introduction for janino.
|
||||
|
||||
%prep
|
||||
%setup -q
|
||||
|
||||
find . -name "*.jar" -delete
|
||||
find . -name "*.class" -delete
|
||||
|
||||
for m in commons-compiler commons-compiler-jdk %{name};do
|
||||
mkdir -p ${m}/src
|
||||
(
|
||||
cd ${m}/src/
|
||||
unzip -qq ../../${m}-src.zip
|
||||
if [ -f org.codehaus.commons.compiler.properties ]; then
|
||||
mkdir -p main/resources
|
||||
mv org.codehaus.commons.compiler.properties main/resources
|
||||
fi
|
||||
)
|
||||
done
|
||||
|
||||
%patch0 -p1
|
||||
|
||||
install -m 644 %{SOURCE1} pom.xml
|
||||
install -m 644 %{SOURCE2} commons-compiler/pom.xml
|
||||
install -m 644 %{SOURCE3} commons-compiler-jdk/pom.xml
|
||||
install -m 644 %{SOURCE4} %{name}/pom.xml
|
||||
|
||||
%pom_change_dep -r :ant-nodeps :ant
|
||||
|
||||
%pom_xpath_set "pom:plugin[pom:artifactId = 'maven-compiler-plugin']/pom:configuration/pom:source" 1.6
|
||||
%pom_xpath_set "pom:plugin[pom:artifactId = 'maven-compiler-plugin']/pom:configuration/pom:target" 1.6
|
||||
|
||||
perl -pi -e 's/\r$//g' new_bsd_license.txt README.txt
|
||||
|
||||
for plugin in buildnumber-maven-plugin maven-clean-plugin maven-deploy-plugin \
|
||||
maven-site-plugin maven-source-plugin;do
|
||||
%pom_remove_plugin :$plugin
|
||||
done
|
||||
|
||||
%build
|
||||
%mvn_build
|
||||
|
||||
%install
|
||||
%mvn_install
|
||||
|
||||
%files -f .mfiles
|
||||
%doc README.txt
|
||||
%license new_bsd_license.txt
|
||||
|
||||
%files help -f .mfiles-javadoc
|
||||
%license new_bsd_license.txt
|
||||
|
||||
%changelog
|
||||
* Mon Mar 16 2020 yangjian<yangjian79@huawei.com> - 2.7.8-11
|
||||
- Package init
|
||||
Loading…
x
Reference in New Issue
Block a user