这可能听起来像一个简单的问题,但作为Webservies的新手,这是我第一次使用它,所以我怀疑.
问:如何使用Web服务传递对象或复杂类型?我创建了一个简单的Web服务,并传递字符串和整数类型,但我不知道如何使用webservice传递对象,因此任何指导都将受到高度赞赏.
谢谢.
我正在开发一个具有广泛的泛型继承和依赖树的项目.转到编辑以查看更好的示例.基础知识看起来像这样:
class A {
...
}
class B {
...
}
class C extends B {
...
}
class D<T extends B> extends A {
...
}
class StringMap<T extends A> {
HashMap<String, T> _elements;
...
}
Run Code Online (Sandbox Code Playgroud)
所以现在我要编写一个包含特定StringMap类型的类.
class X {
StringMap<D<C>> _thing = new StringMap<D<C>>;
...
}
Run Code Online (Sandbox Code Playgroud)
到目前为止这一切都很好.D<C>实际上是一个非常长的名称,并且特定组合将在代码的其他部分中非常频繁地出现,因此我决定使用特定组合的类,以便更清楚并且具有更短的名称.
class DC extends D<C> {
}
//and go to update X
class X {
StringMap<D<C>> _thing = new StringMap<D<C>>(); //still works fine
StringMap<DC> _thing = new …Run Code Online (Sandbox Code Playgroud) 我试图证明一个关于道具的替代定理,而且我失败了.可以在coq中证明以下定理,如果不是,为什么不.
Theorem prop_subst:
forall (f : Prop -> Prop) (P Q : Prop),
(P <-> Q) -> ((f P) <-> (f Q)).
Run Code Online (Sandbox Code Playgroud)
关键是逻辑上的证据是归纳的.就我所见,Prop没有归纳定义.如何在Coq中证明这样的定理?
对于我的Eclipse插件项目,我已经定义了以下目标平台:
<location includeAllPlatforms="true" includeMode="slicer" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.equinox.executable.feature.group" version="3.5.0.v20110530-7P7NFUFFLWUl76mart"/>
<unit id="org.eclipse.rcp.sdk.id" version="3.7.1.M20110909-1335"/>
<unit id="org.eclipse.jdt.feature.group" version="3.7.1.r371_v20110810-0800-7z8gFcoFMLfTabvKsR5Qm9rBGEBK"/>
<unit id="epp.package.java" version="1.4.1.20110909-1818"/>
...
Run Code Online (Sandbox Code Playgroud)
我的插件有JUnit插件测试(在同一个插件中).如果我尝试使用JUnit启动config(org.eclipse.platform.ide)运行它们,我会得到以下控制台消息junit和异常:
!ENTRY org.eclipse.osgi 2 0 2011-12-16 13:00:35.206
!MESSAGE One or more bundles are not resolved because the following root constraints are not resolved:
!SUBENTRY 1 org.eclipse.osgi 2 0 2011-12-16 13:00:35.206
!MESSAGE Bundle reference:file:/Users/stolz/ws-bucky/.metadata/.plugins/org.eclipse.pde.core/.bundle_pool/plugins/org.eclipse.jdt.junit4.runtime_1.1.200.v20110505-0800.jar was not resolved.
!SUBENTRY 2 org.eclipse.jdt.junit4.runtime 2 0 2011-12-16 13:00:35.206
!MESSAGE Missing required bundle org.junit_4.7.0.
!SUBENTRY 1 org.eclipse.osgi 2 0 2011-12-16 13:00:35.207
!MESSAGE Bundle …Run Code Online (Sandbox Code Playgroud) 有没有办法so从我的Java代码中调用库中的函数?通常,是否可以so在Java程序中使用Linux 库?
自从2天以来,我一直在努力解决这个问题.我已成功通过可下载内容实施In App购买.但每当我删除应用程序并恢复购买时,恢复实际上并不下载内容.但是,如果我在restoreTransaction中添加下载代码,它永远不会调用完成事务,导致应用程序表现得很奇怪(这是合理的),每次我删除应用程序并重新安装它.任何帮助表示赞赏!! 如果有人需要进一步解释,请告诉我.谢谢!!
- (void)paymentQueue:(SKPaymentQueue *)queue updatedTransactions:(NSArray *)transactions
{
for (SKPaymentTransaction * transaction in transactions) {
switch (transaction.transactionState)
{
case SKPaymentTransactionStatePurchased:
if(transaction.downloads)
[self download:transaction];
else
[self completeTransaction:transaction];
break;
case SKPaymentTransactionStateFailed:
[self failedTransaction:transaction];
break;
case SKPaymentTransactionStateRestored:
if(transaction.downloads)
[self restoreDownload:transaction];
else
[self restoreTransaction:transaction];
default:
break;
}
};
}
-(void)paymentQueue:(SKPaymentQueue *)queue updatedDownloads:(NSArray *)downloads
{
for (SKDownload *download in downloads)
{
switch (download.downloadState) {
case SKDownloadStateActive:
NSLog(@"Download progress = %f",
download.progress);
NSLog(@"Download time = %f",
download.timeRemaining);
break;
case SKDownloadStateFinished:
{
NSLog(@"URL %@",download.contentURL);
}
break; …Run Code Online (Sandbox Code Playgroud) 对于快速黑客攻击,我更喜欢使用go run prog.go ...而不是先构建可执行文件.但是,我正在处理的程序应该使用另一个go-file作为参数.因此,go run编译后的二进制文件表现不同:
go run prog.go foo.go
Run Code Online (Sandbox Code Playgroud)
将尝试执行两个go文件,而
go build prog.go && ./prog foo.go
Run Code Online (Sandbox Code Playgroud)
将正确地将我的文件作为输入(预期的行为).现在我可以像这样传递额外的args go run ... -- foo.go,但是因为--文件的位置os.Args在go run prog.go -- foo.go和之间不同./prog foo.go.任何简单的方案?我想避免进行完整的标记处理.我应该放弃并坚持编译版本吗?
假设我有MyInterface接口和2个实现MyInterface的类A,B.
我声明了两个对象:MyInterface a = new A()和MyInterface b = new B().
当我尝试传递给函数 - 函数时,doSomething(A a){}我收到一个错误.
这是我的代码:
public interface MyInterface {}
public class A implements MyInterface{}
public class B implements MyInterface{}
public class Tester {
public static void main(String[] args){
MyInterface a = new A();
MyInterface b = new B();
test(b);
}
public static void test(A a){
System.out.println("A");
}
public static void test(B b){
System.out.println("B");
}
}
Run Code Online (Sandbox Code Playgroud)
我的问题是,我从一些组件接口,可以是各种类,我需要为每个类编写函数.
所以一种方法是获取接口并检查它是哪种类型.(A的例子)
我想知道其他人如何处理这个问题?
谢谢
我试图只为1个方法生成一个线程.我得到了IllegalStateException(见下文).这个方法接受数据库连接和数据库名称,它将从中生成XML.(那部分可行,我只是想通过一个新线程让它更快,因为我有多个XML文件要创建.
Thread table = new Thread(new Runnable() {
public void run() {
try {
System.out.println("starting");
tableXml(tableConn, dbName);
System.out.println("ending");
}
catch (Exception e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
}
});
table.start();
Run Code Online (Sandbox Code Playgroud)
例外:
java.lang.IllegalStateException: Current state = RESET, new state = FLUSHED
at java.nio.charset.CharsetEncoder.throwIllegalStateException(CharsetEncoder.java:951)
at java.nio.charset.CharsetEncoder.flush(CharsetEncoder.java:640)
at java.nio.charset.CharsetEncoder.encode(CharsetEncoder.java:769)
at com.informix.lang.JavaToIfxType.doConversion(JavaToIfxType.java:841)
at com.informix.lang.JavaToIfxType.JavaToIfxChar(JavaToIfxType.java:145)
at com.informix.jdbc.IfxVarChar.toString(IfxVarChar.java:247)
at com.informix.jdbc.IfxResultSet.getString(IfxResultSet.java:742)
at com.informix.jdbc.IfxResultSet.getString(IfxResultSet.java:785)
at org.apache.commons.dbcp.DelegatingResultSet.getString(DelegatingResultSet.java:225)
at com.test.ex.ExportTask$1.run(ExportTask.java:151)
at java.lang.Thread.run(Thread.java:662)
Run Code Online (Sandbox Code Playgroud)
导致异常的代码行是a resultSet.executeQuery();
所以问题是:我做错了什么?
感谢您的帮助,如果您需要信息,请与我们联系
我宣布一个变量__thread int my_id; 我的平台和编译器的信息:
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.6.1-9ubuntu3' --with-bugurl=file:///usr/share/doc/gcc-4.6/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++,go --prefix=/usr --program-suffix=-4.6 --enable-shared --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.6 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-plugin --enable-objc-gc --enable-targets=all --disable-werror --with-arch-32=i686 --with-tune=generic --enable-checking=release --build=i686-linux-gnu --host=i686-linux-gnu --target=i686-linux-gnu
Thread model: posix
gcc version 4.6.1 (Ubuntu/Linaro 4.6.1-9ubuntu3)
Run Code Online (Sandbox Code Playgroud)
我使用标志-lpthread进行编译.但编译抱怨:error: storage class specified for 'my_id'.